My love for NixOS really became clear when I realized I never have to write Nix again by hand.
A WIP NixOS config for working with agents:
HN user
My love for NixOS really became clear when I realized I never have to write Nix again by hand.
A WIP NixOS config for working with agents:
Summary thread: https://x.com/sjgadler/status/1824245211322568903
Base e is optimal under a certain metric, and 3 is closest to e.
https://en.m.wikipedia.org/wiki/Non-integer_base_of_numerati...
For more details on the motivation and logic behind this experiment, see: https://www.wignersfriends.com/
Preventing such attacks is one of the main reasons why custom hardware is required. For more info, search for "spoof" in this section of the whitepaper:
https://whitepaper.worldcoin.org/technical-implementation#wh...
Each Orb has a private signing key that's generated + stored inside a secure element. For more info, search for "secure element" in the following sections of the whitepaper:
https://whitepaper.worldcoin.org/technical-implementation
https://whitepaper.worldcoin.org/advancing-decentralization#...
Worldcoin | Berlin & San Francisco | Onsite & Remote | Full Time | Embedded Systems | IoT Software | Cloud Security | https://worldcoin.org/
Worldcoin is a new, collectively-owned global currency that will be distributed fairly to as many people as possible. Worldcoin is built on top of the Ethereum blockchain, and is focused on decentralizing trust, preserving privacy, and scaling globally.
People can claim their free share of Worldcoin by signing up with an Orb, our custom hardware device that confirms that each new person is unique to the network. A privacy-preserving signup process is possible through a novel combination of biometrics, machine learning, and zero-knowledge cryptography. In addition to being widely inclusive, the Worldcoin network will support the first scalable "Proof-of-Personhood," a critical primitive for the emerging Web3 ecosystem.
To learn more about our approach, see:
The Orb: https://worldcoin.org/how-the-launch-works#hardware
Crypto & Privacy: https://worldcoin.org/how-the-launch-works#crypto
Proof-of-Personhood: https://worldcoin.org/how-the-launch-works#solving-the-uniqu...
We're actively looking for engineers with extensive experience in:
- Rust development
- Firmware development on microcontrollers
- Linux security
- IoT device fleet management
- Cloud security
- Machine learning
See all of our open roles here: https://worldcoin.org/careers
If you're interested in learning more about the software team behind the Orb, please email dan+hn@worldcoin.org.
Worldcoin | Berlin & San Francisco | Onsite & Remote | Full Time | Embedded Systems | IoT Software | Cloud Security | https://worldcoin.org
Worldcoin is a new, collectively-owned global currency that will be distributed fairly to as many people as possible. Worldcoin is built on top of the Ethereum blockchain, and is focused on decentralizing trust, preserving privacy, and scaling globally.
People can claim their free share of Worldcoin by signing up with an Orb, our custom hardware device that confirms that each new person is unique to the network. This privacy-preserving signup process is possible through a novel combination of biometrics, machine learning, and zero-knowledge cryptography.
In addition to being widely inclusive, the Worldcoin network will support the first scalable Proof-of-Personhood, a critical primitive for the emerging Web3 ecosystem.
To learn more about our approach, see "How the Launch Works": https://worldcoin.org/how-the-launch-works
We're actively looking for engineers with extensive experience in:
- Rust development
- Firmware development on microcontrollers
- Linux security
- IoT device fleet management
- Cloud security
- Machine Learning
See all of our open roles here: https://worldcoin.org/careers
If you're interested in learning about the software team behind the Orb, email dan+hn@worldcoin.org.
All iris hashes are publicly saved, but not linked to wallets. Details here: https://worldcoin.org/how-it-works#crypto (Account Privacy section)
The wallet and iris hash are never linked. The privacy properties of a Worldcoin wallet are identical to an Ethereum wallet (i.e. pseudonymous until you doxx yourself).
Worldcoin does not use your biometric information as a password or private key. It's used to distribute unique identifiers, one per person. The Orb can't be used to recover private keys.
No. There's no link between your eye and the wallet private key: https://worldcoin.org/privacy-by-design
emacs-jupyter
What do you suspect the "macs" is short for?
org-roam + org-babel + emacs-jupyter has been my default literate development environment for ~1 year.
This package is a hugely welcome upgrade to org-roam-server, and I'm excited to integrate it with my workflow. Thanks!!
Surfingkeys for Chrome/Firefox has a great open/closed tab search feature.
For desktop windows, I use XMonad + Rofi to summon windows via fuzzy search.
Not that it matters anymore, but I always pronounced it more like "coke" than "cock":
"relativity"
Note that this is now a reality: architectures very similar to slide 60 have been built and made cloud-accessible.
The note about "qubit division multiplexing" has also been built: some platforms provide access to a connected component of qubits instead of the whole chip. This is helpful for maximizing the availability of the hardware, since it's still extremely scarce.
Related: The Simple Essence of Automatic Differentiation - Conal Elliot
Has anyone seen something like this with a user-customizable recommendation engine? In the long run, I'd love to have one optimizing for something like "well-rounded education" instead of "time spent on site".
There was a fantastic talk at JuliaCon 2020 about applied category theory in Julia: https://youtu.be/7zr2qnud4XM
I can confirm org-roam links + org-noter works well for linking ideas between PDFs. I haven't found anything better, and regularly demo this to friends.
Related video demo: https://www.youtube.com/watch?v=Wy9WvF5gWYg
I've used RoamResearch in small groups, and it works well. Just don't try to edit the same block simultaneously (last one wins).
If anyone has successfully done something similar with org-roam, I'd love to hear about it. I've never been on a team that would even consider it, given the Emacs learning curve. That said, I recently helped a Vim + Bear user switch to Doom Emacs + org-roam, and he was swimming in days.
Is anyone aware of projects to diff / merge content in collaborative knowledge graphs like these?
There are a few projects that do this, but I think there's certainly room for more. I'd love to see one focused on using the Zettelkasten method.
Here are three I'm aware of:
Scimax: https://github.com/jkitchin/scimax
Emacs Speaks Statistics: https://github.com/emacs-ess/ESS
Frontmacs: https://github.com/thefrontside/frontmacs
So long as these approaches expose the full power of Emacs to their users, I can't imagine the UX being as rock-solid as we might expect from modern purpose-built tools (e.g. PyCharm, Overleaf, Obsidian, ...).
It might help to hide/disable most default interactive functions, which provide a huge surface area for non-Emacsers to break things. Emacs actually does this by default for a few functions: https://www.emacswiki.org/emacs/DisabledCommands
Also relevant here is wakib-keys: https://github.com/darkstego/wakib-keys.
I think the image is trying to convey that there's a rising immediately near the glacier due to the tectonic plate lifting up. Then there's a falling due to reduced gravitation. What's not shown would be (much further away) a rising due to increased water volume.
I agree that the image is a bit confusing.
Love org-roam. I've been heavily using it for a few months, and not looking back.
Don't miss these additional packages, which build on org-roam:
org-roam-server: better graph visualization and navigation [1]
org-roam-bibtex: Reference management in your Zettelkasten [2]
The latter, combined with org-ref and org-noter, is the most effective way I've found for taking notes on PDFs. Beautiful demo at [3].
FWIW RoamResearch has yet to implement a useful graph view, PDF annotation, or reference management. OTOH, tending to a setup like this in Emacs can easily become a time-sink, and it's single-player only.
[1] https://github.com/org-roam/org-roam-server
This simulation is used in an analysis of self-referential dynamics: https://arxiv.org/pdf/1711.02456
I recently posted other impressive Life patterns here: https://news.ycombinator.com/item?id=22851258
I'm astounded every time I come back to these videos, and I know HN will appreciate them. Nowhere else have I seen this level of Life hacking.
If you know a way to access the software or patterns used in this demo, please let me know.
Youtube description:
"Bill Gosper's LIFE and MACSYMA presentation from November 4th, 2007 at the Computer History Museum during VCF 10."
Part 1: https://www.youtube.com/watch?v=BpgA2oCQj9o
Part 2: https://www.youtube.com/watch?v=PFxEyoujzxw
Part 3: https://www.youtube.com/watch?v=ppnadmuDRIs
Part 4: https://www.youtube.com/watch?v=5wmg7xZLtjU
Part 5: https://www.youtube.com/watch?v=d_AXix3ALeM
Part 6: https://www.youtube.com/watch?v=Cplgw4h_zgk
Bill Gosper: https://en.wikipedia.org/wiki/Bill_Gosper
Hashlife: https://en.wikipedia.org/wiki/Hashlife
I'm currently going through Geometric Algebra for Physicists, and find it exceedingly clear: