brokenix

@brokenix@emacs.ch

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

This profile is from a federated server and may be incomplete. Browse more on the original instance.

brokenix, to emacs

should become a compositor
https://emacsconf.org/2022/talks/wayland/

brokenix, to haskell

A very nice magazine
https://themonadreader.files.wordpress.com/2009/07/issue142.pdf

brokenix, to random

Cult of the Dead Cow unveils Veilid peer-to-peer project • The Register

"IPFS was not designed with privacy in mind," Rioux told the DEF CON crowd. "Tor was, but it wasn't built with performance in mind. And when the NSA runs 100 [Tor] exit nodes, it can fail."
https://www.theregister.com/2023/08/12/veilid_privacy_data/#:~:text=IPFS%20was%20not%20designed%20with%20privacy%20in%20mind%2C%22%20Rioux%20told%20the%20DEF%20CON%20crowd.%20%22Tor%20was%2C%20but%20it%20wasn%27t%20built%20with%20performance%20in%20mind.%20And%20when%20the%20NSA%20runs%20100%20%5BTor%5D%20exit%20nodes%2C%20it%20can%20fail.

brokenix, to scheme

W.R.
A New for Writing Functional Operating Systems
https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-75.pdf

brokenix, to emacs

and very cool post
https://matthewbauer.us/bauer/

brokenix, to vim

Modern IDEs are magic. Why are so many coders still using Vim and Emacs? - Stack Overflow Blog

"Fourth, modal editing. or evil-mode is the only way you should be editing code. Being able to move around the screen without so much as ever touching a mouse frees up so much effort that it’s actually hard to describe until you learn it. The ability to pick a word, or a line, or 10 lines, and just kill whole regions, moving them around, undoing and redoing with a literate undo tree and without ever using your mouse is incredible. After learning modal editing, using a non-modal editor actually feels like you’ve lost use of your thumbs. Vim and Emacs naturally allow you to ignore your mouse almost completely, so are natural extensions of this practice"
https://stackoverflow.blog/2020/11/09/modern-ide-vs-vim-emacs/#:~:text=Fourth%2C%20modal%20editing,of%20this%20practice

brokenix, to random

Endlessh is an tarpit that very slowly sends an endless, random SSH banner. It keeps SSH clients locked up for hours or even days at a time. The purpose is to put your real SSH server on another port and then let the script kiddies get stuck in this tarpit instead of bothering a real server.
https://github.com/skeeto/endlessh

brokenix, to haskell

- Understanding STG - Stack Overflow

"On the G-Machine, all stack entries point to an application node except the one on the top, which points to the head of the expression. Those application nodes make access to the arguments indirect, and in some G-Machine descriptions, before applying a function the stack is rearranged, so that the last n nodes on the stack are made to point to the argument instead of the application node. If I am not mistaken, the "Spineless" part is about avoiding having these application nodes (which are called the spine of the graph) on the stack altogether, thus avoiding that re-arrangement before each reduction.

As to the "Tagless" part, you are more correct now that you used to be, but... Using tags on nodes is a very, very old thing. Can you think on how a dynamically-typed language such as was implemented? Every cell must have its value and a tag which says the type. If you want something you must examine the tag and act accordingly. In the case of Haskell, the evaluation state is more important than type, Haskell is statically typed"
https://stackoverflow.com/questions/11921683/understanding-stg#:~:text=the%20G%2DMachine,is%20statically%20typed

brokenix, to haskell

Loop averse -
loop theist - #c
loop agnostic -
clueless -
Keyword lover -
make up your mind :neofox_box:

brokenix, to Lisp

This is a #lisp machine for network protocols. Initially in pursuit of a social forum focused on link sharing.
as #startups and free projects alike rush to implement some #IETF RFC adding only 'but on the web'. I aim to define a modular protocol server which can support an arbitrary number of network protocols as a network daemon. Our POC in this endeavour will be to build an #NNTP -like protocol daemon which gateways to #IPFS storage. The content held in this system can be consumed by arbitrary clients; a web application presenting #reddit -like services would be just one of many potential clients, although it is likely that Gnus for Emacs will be the first one.
https://codeberg.org/fade/callisto

brokenix, to random

Reason Town: Elm to , Technical Debt, and Escape Hatches with Paul Biggar
Speaking of which , now that @codyroux has related diagonalisation to p = np ( which either idk or I don't recall reading ), I got to follow up the whole series
Episode webpage: https://podcasters.spotify.com/pod/show/reason-town/episodes/Elm-to-OCaml--Technical-Debt--and-Escape-Hatches-with-Paul-Biggar-e52keq

Media file: https://anchor.fm/s/79070e8/podcast/play/4329370/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2019-7-23%2F21544635-44100-2-c1b9431e68ec7.mp3

brokenix, to random

A good strategy to go from a thesis to a typechecker #typetheory
https://spire-lang.org/blog/2014/01/05/an-unremarkable-type-checker/

brokenix, to guix

the “Nix store” is independent of the “Nix language” (which we’ll define below). In other words, you could replace the front-end Nix programming language with another language (e.g. scheme, as does). This is because the Nix derivation format (the .drv files) and the nix-store command-line interface are both agnostic of the Nix expression language.

In isolation, the Nix language is “just” a purely functional programming language with simple language constructs.
Nixpkgs support for overrides is essentially an embedded domain-specific language, meaning that you still express everything in the Nix language (layer 1), but the ways in which you express things is fundamentally different than if you were simply using low-level Nix language features.
OS is based on the NixOS module system, which is yet another embedded domain-specific language. In other words, you configure with Nix code, but the idioms of that Nix code depart even more wildly from straightforward “layer 1” Nix code
https://www.haskellforall.com/2022/08/stop-calling-everything-nix.html?m=1

brokenix, to emacs

https://github.com/a-schaefers/systemE
replace with

brokenix, to random

vs for federating your self hosted code , of course if you know how secure it is and what are you doing

brokenix, to haskell

doesn't have -like records at all. They just wrap anonymous records into newtypes
https://blog.monadfix.com/nau-2-records

brokenix, to guix

virtual machine shares its /gnu/store with the host, your new VM takes up far less space than you might expect! On my system, the disk image is just 2MiB! All the heavyweight stuff (qemu, the kernel, ) is shared among all my up-to-date VMs, and the state files all live elsewhere and can be managed directly from the host! You can also choose how much memory and how many cores your service is allowed to use

https://benwr.posthaven.com/magic-immutable-ish-virtual-machines-with-guix-and-tailscale

brokenix, to random

Tragedy of is the more code he copies and builds , the more productive he ll be counted as , at a typical works place ( at least in 3rd world countries ), as opposed to figuring things out
but if you are cursed with the latter, you ll eventually get to a point where copying beyond a limit ll mean broken build, race conditions, bugs of all kinds failed deployment
actually idk which is more a curse , even if i talk about then again , there re various ways to climb the ladder , each to their own

brokenix, to FunctionalProgramming

Implement web servers using lenses
dependent types
https://github.com/ska80/idris2-server?tab=readme-ov-file

brokenix, to climate

Perhaps the luckiest piece of article ever written on internet
https://www.nytimes.com/interactive/2018/08/01/magazine/climate-change-losing-earth.html

brokenix, to microsoft

Even if you’re one of the “good devs,” and even if Copilot suddenly makes you twice as productive, as (dubiously) claims, your day didn’t just suddenly get half as long. You just suddenly got twice as many responsibilities
https://joshcollinsworth.com/blog/copilot

brokenix, to random

grammar for
https://github.com/tree-sitter/tree-sitter-agda

brokenix, to haskell

lenses are just functional references

brokenix, to random

: Docker is technically more than just a process manager, but by sharing the host's network, Nix store, and bind mounting relevant state directories, it can also serve as a process manager with similar functionality as the others described above.
disnix: Technically Disnix is not a process manager but it is flexible enough to start daemons and arrange activation ordering. This target backend is not designed for managing production systems, but it is quite convenient as a simple solution for experimentation that is supported on most UNIX-like systems.
https://github.com/svanderburg/nix-processmgmt

brokenix, (edited ) to random

This directory contains KR, a knowledge representation system. Unlike other systems, KR implements a small, carefully selected amount of functionality in order to keep performance within reasonable limits

https://github.com/rogersm/kr

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • megavids
  • GTA5RPClips
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • osvaldo12
  • Youngstown
  • ngwrru68w68
  • slotface
  • everett
  • rosin
  • thenastyranch
  • kavyap
  • tacticalgear
  • JUstTest
  • modclub
  • normalnudes
  • cubers
  • ethstaker
  • mdbf
  • Durango
  • khanakhh
  • tester
  • provamag3
  • cisconetworking
  • Leos
  • anitta
  • lostlight
  • All magazines
    •