skysight-inc/HackerNews huggingface dataset:
> Have anybody tried Spacemacs?

Yes.

Spacemacs is awesome. It was what allowed me to switch 100% to using Emacs.

The amount of time necessary to devote to being proficient in Emacs is significant. When you have to figure out how to re-wire Emacs and all the various extensions you want to use to use Evil (with consistent bindings) is even more.

Spacemacs allowed me to benefit from the work that others have done in these regards significantly.

However I recently switch over to Doom-Emacs. Which is very much like Spacemacs, but faster and easier to customize.

I strongly recommend that people trying out Emacs that do NOT want to give up Vi/Vim/NeoVim bindings to check out Doom-Emacs. It is the shit. It is very very good. Not nearly as quick as NeoVim, but it's worlds better then it used to be. And pretty attractive as far as text-oriented applications go.

Native Comp + Doom-Emacs + Native Wayland GTK + Nerd Fonts = Best damn operating system ever invented. So far. And it comes with a really good editor, too.
The meaning of the term is not in dispute, but your interpretation of it is. I’m not asking a rhetorical question. I’m genuinely interested in your answer:
why do you think steelmanning doesn't involve asking and listening?
Finance here: "big, unbroken chunks of silence & concentration to do great work. " sounds like an absolute dream ...

I'm with the engineer on this.
Anecdote time. As I’ve moved into larger companies and am shackled by OKRs, I am enjoying my work a lot less and feel under more pressure than ever but am getting less useful work done. It feels like a lack of trust and assumes the organization is run very efficiently and fairly—which I don’t think any company can truly claim. People just seem to adjust by gaming these systems instead of putting useful effort into their work.
There's a bit of a disconnect here in that many on this forum are software engineers, probably mostly working on systems that need no hands-on interaction (or on apps that can be tested easily locally).

The products you listed are hardware products (with integrated software) which are much more difficult to work on remotely, especially in a company that prioritizes secrecy as much as Apple does.
The W3 spec has a high level overview of how ActivityPub works.

https://www.w3.org/TR/activitypub/#Overview
Tornado cash is good enough tbh

Monero communities arrogance and in-grouping has segregated them just like they desired. That technology and user experience is an evolutionary dead end, it can exist and that has enough utility. But in the multichain world the user experience is better and the funding models are better, even gitcoin grants streamline development of projects.
What I'm saying is feed and house the freakin homeless!
No languages provide any such comparison that I'm aware of. Rust does not, Zig does not, C and C++ do not, JavaScript does not. Are all of these languages toys?
Know any papers where someone has done this with large language models successfully?
IANA neuroscientist, so please correct me if I'm wrong or oversimplifying:

IIRC one of the main cellular mechanisms thought to underlie memory is LTP(Long Term Potentiation) in glutamatergic neurons. There are different kinds of glutamate receptors, but we're interested in the two subtypes of ion channel based(ionotropic) Glut receptors, AMPA and NMDA.

AMPA is sort of your main receptor for propagating signals: it's activated first.

NMDA is much more complicated in that it requires binding both glutamate and another neurotransmitter, glycine, for the ion channel to open. But this ion channel can also be blocked by Mg²+ ions, which for reasons that currently escape me, is removed when the neuron depolarizes. Once NMDA is open, it has the downstream effect of upregulating the AMPA receptor, making more sensitive to future transmission, hence serving as a kind of "memory" of previous signals. I think the open question is more about understanding how memory as we know it emerges out of networks of these neurons, and less about the basic cellular mechanisms. And this is probably only one mechanism of LTP, then you have its opposite, Long Term Depression, which is also involved.

Of course, in science the answer is always more complicated than what can be gleaned from the hand-wavey explanations of some programmer on HN :)
Request – Minimal HTTP client for API development and testing
Sorry, nuclear material.
Zig is kinda awesome though, i'm not even sure what the C community thinks needing improvement with Zig, i often only hear praise with Zig.

Mind you i don't know, i like Rust - but i'm not a C-like programmer and don't want to be. But, nevertheless my opinion of Zig seems quite high. It seems Zig is the benchmark in this space.
Sell in May and Go Away
Musk’s grand vision for 'free speech' on Twitter faces reality check in Asia
> The interesting bit about this kind of games is that you don't need state-of-the-art tech, and art at this point is mostly about choices, not necessarily about what's technically feasible.

Certain types of games exist and thrive due to what's technically feasible at the time they're created, just like any other form of art.

An example, Cuphead isn't radically different from something like Metroid in terms of gameplay and yet Cuphead was technically impossible when Metroid was all the rage. Similarly Metroid's asthetic is a product of it's era and wouldn't be received today in the same way.

Games are art, they simultaneously drive the medium while being limited by it.
"in-person half typically gets way way way more visibility than those working remote."

That's a management problem, not a policy problem. Sorry.
I use both, a lot, too. They both have their places.

I'm using vi/vim whenever I shell onto a machine; I typically use ripgrep to search a huge codebase for the file I'm looking for and then typically open that single file in VIM. (I read more code than I write these days).

I use Emacs (Doom) more for Org-Mode and note taking, and sometimes as client for accessing APIs (through verb package). I'd like to get my SQL for the various types of databases I connect to to go through emacs. But once the connection history is in my bash history, and how easy it is to press ctrl-x ctrl-e to edit the command (in VIM), it hasn't been painful enough to put the time in.

And ironically, I use neither for my main code editor.
Great! Let's do away with bench legislation.
OpenSSL – C_rehash script allows command injection
> You are trying to reduce human mind to one bit: broken/working

Not at all! That’s why I mentioned CPU binning, which takes varying results of the manufacturing process, and categorizes each according to what it is capable of. I still think this is an imperfect analogy, but felt closer to the topic than wizards and fairly primitive tools.

> The existence of screwdrivers shouldn't be considered a disorder

I think I’ve lost you here - this analogy is stretched pretty far at this point.

But if the screwdriver is missing it’s handle, and the head of the screwdriver is deformed and unable to make contact with screws, a pretty good case could be made that this screwdriver has some serious problems.
This worries me a bit too.

I have a lot of fondness for Monkey Island, but more often than not - giving a creative person complete creative controls is less likely to produce something good.
I really appreciate that Hare already has high-quality documentation (in terms of tutorials, language reference, standard library, etc.), which you usually don't get to see in other work-in-progress languages.

(BTW, https://harelang.org/documentation/ is the link for more general documentation about the language.)
Ask HN: What is the state of brain imaging to help depression?
Context: I'm someone who's struggled with depression myself, and have seen many others go through the same. I'm better now, and I want to help. Lot of the research I found talk about brain imaging to find the parts of the brain currently activated (under some stressors), and propose solutions.

I'm curious about:
1. the current state of brain imaging technology to accurately identify solutions to help a depressed person
2. what are the blockers to allowing individuals to analyze their own brain state with at-home technologies?

Thank you.
"Give me a one-handed economist! All my economists say ‘on the one hand… [and then] on the other.'"

President Truman
>Or wfh as a poorer individual with a cramped house shared by multiple occupants, low pay that doesn’t cover the increase in electricity usage etc.

Presumably we are talking about Engineers at Apple so low pay doesn't seem relevant?
Those contrived cases do not happen in practice. What does happen systematically though is the clutter and cognitive noise of semicolons.
China sends flotilla led by aircraft carrier near Okinawa
I've only seen one (Airbnb) but perhaps there are others I've missed. I don't think we will be able to know how it is going to play out for a couple of years. They may validly intend to do what they say today, but market forces may ultimately force them to change their approach. I'm happy to wait and see personally.
This is good for developers as well as users.

Developers releasing new products are competing with 100,000 new/updated apps per week. Old, unmaintained, and worthless apps pollute search results, making it more difficult to find good apps from good developers. These same crusty apps inevitably result in poor user experiences that punish people who try new apps. Users and current developers shouldn't be saddled with the burden of competing with the ghosts of developers who gave up in 2017.
> We're basically going hydroponics with sterile soil as a substrate. The limiting factors are fertilizer and water. This may not be ideal, but it frees up a lot of land for things other than wheat/soy/corn.

The problem is that now the produce only consists of fertilizer. Just compare the taste and nutritional value of mass-manufactured produce vs. organic-grown produce - the difference (at least if you're not suffering from covid) will be massive.

Additionally, sterile soil without deep levels of old roots, fungi and other life in it has the downside that it will simply erode and, as a consequence of losing that structure, blow away sooner or later. The US literally went through this once in the 1930s [1] and at the moment 40% of the US are at risk for further desertification [2].

Yes, it may be more efficient in a short-term rabid capitalism POV to continue ruthlessly exploiting nature, but the long term of continuing as-is will only lead to an utter catastrophe and cascading effects - e.g. groundwater depletion once the soil compresses, effects on the local and regional climate (clouds and in consequence rain need evaporation of water) or heatwaves and as a direct consequence uninhabitability because pure sand can't buffer off heat.

Earth is at the moment right at the tipping point of a lot of crises: CO² and other climate gases such as methane leading to a greenhouse effect, the collapse of ice shelves, the permanent destruction of arable land, the compression of soil in deserts destroying groundwater, predators going extinct and throwing ecosystems out of balance, invasive species being transmitted by air and especially water cargo, humans ending up with half a dozen pandemic or almost-pandemic events in two decades because we keep intruding on animal reservoirs in our ever deeper search for space... we need to stop and seriously rethink how we want to live, if we want to leave our children a planet they can actually live on - and that's leaving the social issues like erosion of democracies, of international law, and of war and aggression and their impact on nature, completely out of the discussion!

And JFC the answer to the problems we're seeing is not geo-engineering or GMOs. That's band aids barely covering up the atrocities we have committed as a species!

[1] https://share.america.gov/u-s-scientists-work-to-stave-off-d...

[2] https://science.howstuffworks.com/nature/climate-weather/atm...
It bears repeating, many people who think they have burnout actually have chronic fatigue (CFS/ME) but don’t know it yet. Repeated burnouts may simply be a relapse and recovery cycle. A number of the genetic predispositions to CFS also tends to have behavioral components (anxiety disorders and ADHD) that include a preference for a career in software. Now with Covid many of those who may never have had CFS are finding themselves with Long Covid. I mention this because the treatment for burnout is completely different to the treatment for CFS.
I thought exactly the same! I remember, seeing screenshots of DotT for the first time and the new screens of RtMI invoke the same feeling. Love it!
> Purism's shipping claims and estimates have been way way off even before there were any supply chain issues

This is true, and they had good reasons for that in my opinion: https://source.puri.sm/Librem5/community-wiki/-/wikis/Freque....

> At one point they even lied to be shipping devices

Yes, it did happen: https://source.puri.sm/Librem5/community-wiki/-/wikis/Freque....
The Apple policy under discussion is a top-down edict from the executives that no future remote roles are allowed, period. This is more draconian than the pre-pandemic “exceptions allowed with VP approval” policy. Your experience isn’t germane to this situation.
Nice. I have a d3 that is shaped like a little jellybean with 3 evenly spaced indentions that wrap around, really odd shape. Very satisfying for 33%ers.
I don't have a choice of ISPs. It's not a competitive market and they have no incentive to respect my privacy in the slightest.

In contrast I can choose any VPN provider in the world. It's a competitive market and they have strong incentives to respect privacy because it's one of their main selling points. Any VPN that is discovered to not be respecting privacy will lose a lot of business in short order.

Sure you can say that they can violate privacy in secret, but that's a big risk for them. It's no risk at all for an ISP because their customers have no choice. It's no guarantee, but it's definitely a better situation to use a company that actually has incentives aligned with yours.
Yup, it was a typo (edited now). I meant that if they want everyone they don't like to be banned, the fediverse doesn't seem like the place for that.

Getting banned from a fediverse instance isn't as impactful as being banned from twitter, and I think those people would want it to work like twitter. Not too sure about instances being defederated though, that's the first I've heard of that.
That's true, but it misses the point rather badly. A big reason that CO2 is a problem is that it is very stable. Getting it out of the atmosphere at scale requires vast amounts of energy. So if your goal is to reduce the amount of atmospheric CO2 (and if it's not then you've essentially given up on the future of civilization) it is much better not to let the carbon get into the atmosphere in the first place. Carbon in plastic is already sequestered. Dumping it back into the atmosphere is not progress.
Location tracking is a huge business and honestly CDC is probably the actor we should be least concerned about in that marketplace. I think the real story is the commodification of our physical presence and the resulting surveillance capitalism models it further enables and normalizes.
More of a hardware user. Hard drugs, hard thought.

It's funny Arthur Conan Doyle says Sherlock Holmes is based on I think two guys, but there's a third guy he's also based on Conan Doyle didn't talk about, and that was the guy who cracked cases the hardest, just never talked about because of he was the one the whole coke-injection trances was based on (which was legal at the time). Protected his privacy, you understand.

Kind of like Paul Erdos.
What most startup founders get wrong about financial projections
Not really about your note summaray but neat. I really want to make a digital garden like yours with notes and all. I read plenty of books and articles but I'm helpless when to documenting my findings.
>Pre-COVID, I myself got very heavy metal dice.

Are they tungsten? I nearly bought a pair of them but I figured I'd never roll them because of their weight.
Respectfully I disagree with this statement, on a conceptual, as well as factual level.

>Tornado cash is good enough tbh

I hold neither of these, but as someone with a significant amount of experience in the field, the facts are clear. "Good enough" is not an objective measurement of the binary quality of fungibility. Monero is fungible.

Is this me saying everyone should go out and buy some Monero, no, it is me saying that when you consider the mechanics of the way these two scantly comparable technologies function, there is one clear winner because only one is fungible.

I don't have a response to the social issues of those that use or perpetuate Monero adoption, just as I don't have a response to the social issues of those that use or perpetuate USD, or any other asset. It's not my business what other people do, and I don't feel associated by virtue of using the same utility.

> That technology [ ... ] is an evolutionary dead end

This will need a source.
The second most popular formatter is semi-colon-less https://standardjs.com/
Also yes, strong agree the web should support other languages and it is very easy to achieve by integrating the polyglot and interoperable graalVM
You understand the ADA exists and does almost exactly what you are implying right? Public places are forced to comply with ADA regulations
First, if Apple declared, right now, that full remote was an option, what you say is still true. i.e., in two years, management could decide to take away that benefit.

So I don't see how that kind of reasoning is useful when making an employment decision today. Getting up in arms about a purported future two years from now is just not rational, and is ultimately a byproduct of fear.

More broadly, this has always been true. Employers have always been in an position where they could change the terms of employment, and employees have always been in the position of being able to make a choice as to whether they would be willing to accept those changes. The WFH situation isn't special in that regard.

Second, this could go either way. Future leadership could equally decide Apple will go full remote. But the assumption is always that future change will take away the benefit rather than expanding it. That the slippery slope will always be to the worker's detriment. That's just another form of management distrust.

Edit: And oddly, given the current demand for positions in technology companies, that distrust is especially unfounded. Employees have never been more empowered. The sheer demand for labour means that any company instituting a policy that's broadly unpopular will lose staff. Absent a profound change in the labour market, in that context it would be insane for Apple to communicate a hybrid work policy, now, only to renege on it.
Something like Lua?

It wont run because the QBE compiler doesnt have bindings to those OSes. Only x64.
> it should be removed and done right.

The people who removed it have no interest in doing it right.
This could be a boon for the Tar sands in Alberta. As I understand it a very large amount of oil there is used to create heat for the purpose of releasing the oil from the tar sands and generating nuclear (ie steam) power there could create a good amount of lower temp heat for use in industry (also heating homes if such a project were undertaken). This could really help the oil sands be less carbon emitting.

I do wish it was a thorium based project though. Gordon McDowell was active in Calgary trying to spread awareness of the technology. Sadly it always feels "a decade away" ...

https://www.youtube.com/watch?v=P9M__yYbsZ4
Just to compare, here's how you would add the latest version of libav to a Rust project using Cargo:

[dependencies]
# Safe Rust wrapper
ffmpeg-next = "5.0.3"

or

[dependencies]
# Direct FFI bindings
ffmpeg-next-sys = "5.0.3"

Note that libav will be built from source, but it will be cached for subsequent builds of your project.

And thanks to the build script maintained by the crate (library) owner, this process should work exactly the same across major OSes and architectures transparently.

Edit: Here is the relevant part of the build script that actually configures and builds libav based on Cargo feature flags and configured rustc OS + arch: https://github.com/zmwangx/rust-ffmpeg-sys/blob/499fca3630fb...
How does this submission have both text and a URL? When hitting submit it's shown as either/or. Does the server not enforce it?
Default approach of a firewall. When it doubt, block it. But IT has really outdone itself and grew to something that could be the largest threat to an open internet.

The same could happen to mail, where you can only use "certified provider" or you will just be filtered out. Spam and phishing are a problem, sure, but recent IT strategies are highly questionable in this regard.
We have an entire team dedicated to training up new engineers at Mercury! No Haskell knowledge required.
I need to give ReasonML another shot. It's been a few years, but at the time it really only seemed to work if you were targeting BuckleScript and even then you had to write a bunch of Makefiles and jump through other weird hoops. Beyond that, it suffered from some other OCaml issues--multiple "standard" libraries, different packages using different async libraries, some gratuitously abstract libraries, etc.

I'm really hoping it breaks into the mainstream such that it gets the investment that other mainstream languages get (hopefully said investment will smooth out these rough edges).
Apple software engineers who work with prototypes did this for two whole product development cycles. Access to prototypes _can_ still be managed remotely, it turns out.
I have a 12 year old all-season jacket from LL Bean that is full of holes. It has survived a decade of winters in NYC and upstate NY. It has a removable lining so the coat also works in Spring and Fall. In the summer I can use it as a small backyard picnic blanket.

I love it so much and it is so functional that I refuse to replace it.

I wish I could just mail it to a service that would fix all the holes, clean it, and mail it back.

I'm sure I could find a local tailor, but local tailors aren't always easy to find, and the whole process is such a hassle.

Seamstress-as-a-service? Any takers?
SSR is not specific to JS. You can do SSR in old-school PHP. People care about SSR because it relates to how Google ranks your page, among other concerns.

SSR is also part of a larger story of optimization which touches upon network concerns, such as making network requests on the server rather than on the client.
> which are much more difficult to work on remotely,

<Looks at his desk in his home office. It's full of prototype boards he's doing software for.>

Difficult?

> especially in a company that prioritizes secrecy as much as Apple does.

But that's Apple's problem, not the employees' problem.
It does not (well, historically it does not, I haven't checked it out in a while) use other packages. You build one yourself with the standard library. It's expressly about learning via a bigger project, not something you'd use in production. That'd be a waste, just use axum, and focus on writing your application, not on building a (very minimal and incomplete) http/1.1 implementation.
> which you can install on most laptops

But your WiFi card will not work on those laptops, except for Lenovo ones from 2008 and earlier.
Women want to re-produce. Any intelligent human knows you need to gather resources to care for your child adequately and give them a good life.

IMO - This is one of the more obvious answers to this phenomenon
Antoinette Project: tools to create the next generation of flight simulators
It’s not unheard of - in the US this type of repair is called “reweaving”

https://mensfashion.thefuntimesguide.com/mens-suit-repair-re...