skysight-inc/HackerNews huggingface dataset:
I'm not convinced that "almost all functions carry tokens in their signatures" is a disaster given the desired result. I'd like to read more about why this way forward was rejected.

If I am trying to call X and I need a CanSleep token but I haven't got one, this prompts me to investigate why I haven't got one. Oh! I gave my CanSleep token to this Spin Lock. Why did the Spin Lock need my CanSleep token? Ah, because sleeping while holding a spin lock is death, that makes sense. I can get my CanSleep token back but only by releasing the spin lock, however I need this spin lock. Hmm. Aha! I should re-factor this code so that I just remember we need to call X, and I ensure I do it right after I have released the Spin Lock and retrieved my CanSleep token. Excellent.
Ever hear of NIMBY ? Here is a link: https://en.wikipedia.org/wiki/NIMBY

It does not matter if it is harmless, people reading these articles will freak out should a proposal be submitted for a new Plant.

So yes, these articles will put the last nail in the coffin of the nuclear industry in the US. All they need to do is reach the mainstream press.
Emmett's
It feels so painful to go back to ‘regular’ Linux now. I'm so concerned about config file entropy and version incompatibility that Nix has solved for me. I'm happy I took the Nix Pill though and completely skipped over Docker and it's often-unnecessary overhead. Nix store is a better solution to reproducible builds, and the syntax is a lot better than LISP for Guix or whatever Skylark is trying to be.

Currently I'm setting up a second machine to distribute builds and share a cache on my local network. Overriding C flags Gentoo-style for better optimization is supported, but it can take a while to build--especially with LTO--as Hydra only builds for generic x86_64 so sharing optimized kernels and other software is great. I successfully got a shared znver3 LTO-optimized Linux 6.1.19 kernel with ZFS support yesterday! I just wish I could have built in parallel the kernel on the faster PC and the ZFS stuff on the slower one and resynced the build input derivations when it was finished after running `nixos-rebuild switch --flake ..`.

For the future, I hope distributed Nix caches become the norm like BitTorrent and we can all share optimized builds.
Occasionally Edge works up the nerve to force logging into my Microsoft account to continue with a modal login dialog that cannot be avoided unless I terminate the process.

I'm not sure what triggers this or if there's a way to disable it, but it doesn't appear if I restart a new instance.
So sounds like more of what you are interested in is incremental reading. In the case the way you'd want to do things is copy the text to another document for the entire article then go back through determine which facts you want to keep.

Then turn it into an Anki card, preferably with clozes.

Half the benefit of Anki is making the Anki cards in the first place.
IIRC the Android app is free because it wasn't started by Anki's original author. It was created by some other folks, using the source for Anki desktop.
how much of a variation is there in web design between different cultures?

It would seem weird if only Japanese Web Design looked different than the normal designs prevalent in western culture.

What other cultures have significant web design differences from the ones that predominate in American and Western Europe contexts?
Dunno. I'm one of the people who don't want mosquitos, though I don't care about bugs which don't suck my blood. I have a fan-powered mosquito trap which seems to work well enough. No chemistry.
Abstract algorithms given in computer science could meet that condition, so long as they're defined on a turing machine.

Eg., you could have a gravitationally stable solar system whose planets, etc. you identified with terms (etc.) and observe that the whole thing runs at zero-energy.

This distinguishes abstract algorithms, which are just restatements of mathematics, from "programs" which are algorithms defined for electrical devices with relevant useful capacities.
Do you have an example of the SCORM? I'd love to see how you've structured it?
(What's your LMS that you use?)
Interviewer: are you in contact with the government?

Sam Altman: yes, definitely.

Interviewer: are they aware of your technology's [AGI - LLM] capabilities?

Sam Altman: more and more, ever day.

----

My personal anecdote: I told this to a familial connection, who dismissed me as "being insane again," but I think he has finally realized what I was trying to warn him about [AI coming for his constituents' jobs].
facts https://vadentist.com/a-hard-nights-sleep/#:~:text=You%20may....
Thank you for the recommendation! These guys sound hilarious and I am really looking forward to listening to the whole series
Some random comments:

* A few GBs of data isn't really that much. Even /considering/ the use of cloud services just for this sounds crazy to me... but I'm sure there are people out there that believe it's the only way to do this (not the author, fortunately).

* "You might find out that the data doesn’t fit into RAM (which it well might, JSON is a human-readable format after all)" -- if I'm reading this right, the author is saying that the parsed data takes _more_ space than the JSON version? JSON is a text format and interning it into proper data structures is likely going to take _less_ space, not more.

* "When you’re ~trial-and-error~iteratively building jq commands as I do, you’ll quickly grow tired of having to wait about a minute for your command to succeed" -- well, change your workflow then. When tackling new queries, it's usually a good idea to reduce the data set. Operate on a few records until you have the right query so that you can iterate as fast as possible. Only once you are confident with the query, run it on the full data.

* Importing the data into a SQLite database may be better overall for exploration. Again, JSON is slow to operate on because it's text. Pay the cost of parsing only once.

* Or write a custom little program that streams data from the JSON file without buffering it all in memory. JSON parsing libraries are plentiful so this should not take a lot of code in your favorite language.
I doubt your setup needed recompiling the Nix binary itself at any point. Even I did that more out of love of adventure than for any practical reasons, it’s just that the scars are still there. (Still less than those from the time when the LibreOffice build was broken on Hydra and a routine system update jumped right into trying to perform it locally, even if that indeed was what I technically asked for...)

And you know what, the long evaluation thing might just be a bug. Or at least I don’t see any other reason why (e.g.) `nix-shell -p yt-dlp` works reasonably fast on my Nix-on-Droid[1] installation but `nix shell nixpkgs#yt-dlp` takes minutes.

[1] https://github.com/t184256/nix-on-droid
The Democrats have voted to change the first primaries (I know Iowa has a caucus) to North Carolina. That should change things a bit.
I prefer the thin crust style as well. If I wanted tomato soup, I'd have ordered that, not pizza!
Agreed that marketing yourself is not toxic. I follow "swyx" on Twitter and find his insight valuable, and so do a lot of my peers. Btw, looks like his Github profile has not been updated for some time - he's no longer Head of DX at Airbyte and is now an independent consultant. https://www.swyx.io/about
What do you typically use?
Maybe you could use some app to pull out highlights but you still need to think carefully about how to make each text chunk into a card or multiple cards (otherwise you'll waste more time than you save)

You also don't normally use an srs flashcard program like anki just when you want to review a book, you use it every day.
I'll just throw out I've used Anki ever since I started it and haven't failed a knowledge test since I started doing it. Including passing my HAM test with only using Anki and the questions for 72 hours.
First time I read about Oberon was when I saw Ginger Bill presenting Odin language and visited his website to learn more. It was when I visited its FAQ [1] that saw the major influences that inspired him to design a new language and one of them was Oberon-2 which is an extension to Oberon itself.

Fascinating stuff!

[1] https://odin-lang.org/docs/faq/
Oh,they very much are helping multiple people at once.

I worked at a call center with a T-Mobile LOB, at which I had several friends working in their online chat dept.

Support reps and sales reps alike were both required to be on at least 7 open chat windows or face termination.

They could be shadowed at any time by an ops agent, who would ding them for not pasting proper replies (they frowned heavily upon real interactions- going 'off-script'), or having less than the 7 required chat windows.

If these companies could they would nix phone agents entirely, and this is why- one agent becomes 7.

Customer satisfaction? What even is that?
If you want to, you can always set 'delay' in your profile to the number of minutes (up to 10) that you would like your comments to be visible only to you. This puts the stealth back in stealth editing. https://news.ycombinator.com/newsfaq.html

I rely heavily on this because it's somehow only after the comment is 'real' (i.e. staring back at me from a real HN thread) that I notice most of the edits I want to make.
Until maybe four decades ago, high school was exactly intended to prepare kids for the labor market. They taught conformity, punctuality, the three Rs, and civics. It was the final education for the great majority of people in the US, as few went to college.

But high school and college both got dumbed down, and now an education at a state university is comparable to high school in the first half of the twentieth century.
I’m bipolar and my sleep problems are because of my mental issues. For example, when I’m depressed, I can’t sleep. The part of my brain that makes sleep happen doesn’t work.

Lack of good sleep hygiene is unlikely to give you a highly genetic mental disorder.
There is a version of the Oberon System compatible with the Oberon+ toolchain and IDE, see https://github.com/rochus-keller/OberonSystem
I actually talked to Harold a couple times when he came to Google. He is a very, very nice person; very down-to-earth.
I didn't realise how much this bothered me until you brought it up.

On my low end laptop occasionally I can't even close it or click away and it takes a minute or two to decide to go.

Insane.
Light water plants doesn't even produce much tritium to begin with, so it's hard to imagine this would pose any danger.
I hope you are right. Getting locked in to one vendor due to lack of choice is risky.
What kinds of kludges are you referring to about reading Aurora binlog? I’ve been using Debezium to read the binlog to transition off of aurora and it works as expected.
Yes, the excesses of the French Revolution were entirely caused by Louis XVI.

The lengths to which people will go to justify revolutionary slaughter are really something.
Check out AnkiConnect for getting things into Anki. Not sure about reader software that will call out after a highlight though.
Thanks for the notice, so that I could turn it off. My kbd is Gboard though, so it should be unaffected, by that particular thing. I would recommend Gboard. I use it for better multilingual support.
I can't answer your question in terms of pragmatic applications. Based on skimming this book and similar resources posted on HN, my -- naive, I am sure -- understanding is that category theory unifies other theories and serves as a glue.

One example from the linked book, "Remember that we said that programming types (classes) are somewhat similar to sets, and programming methods are somewhat similar to functions between sets, but they are not exactly identical? A formal connection between the two can be made via category theory."
CSFP appears to have been defunct for decades. If you look at BrokerCheck, their license in the US expired in 1999.
Agreed. It's very difficult now to build communities that have lasting impact, because everyone's saturated with info as-is. Contributions to niche communities now rely on a societal "outsider" status, which means there's basically a couple of people that contribute heavily and very few onlookers. Everything else is either gamified or comes from video games / gambling.

On the bright side, it's THE time to cultivate close friendships and to seek like-minded people. The entire phenomenon of popular attention hugging a community to death does not exist any longer. You can now have OG members persisting with notions for a long time and building a shared mythos with a small group of friends, because information is now more accessible than ever.

Obviously, most people aren't part of these communities. The people that are "drifting" alone are given to wasting their time on charismatic attention-seekers that talk a big game (twitch/e-celebs) but deliver nothing of value. So there's also room in the market for charismatic folk with some technical expertise to rally people to their cause, but only very briefly. This is because the number of people half-committing and then jumping ship is likely the highest it's ever been. Also, platforms have now resorted to paying people to stay on their platform (youtube / tiktok / sponsorships / twitch boosting streamers / etc.) to combat occasional ennui, ironically exacerbating the issue.
Nuclear power is advocated principally by the current energy industry regime because it maintains their existing distribution model. A model that is disrupted by wind and solar power generated locally or even individually.

I know some people honestly believe that it's a good option. But for every one of them there are three industry lobbyists and social media bots who are working directly for the industry making drastically short sighted arguments.

Don't tell me it's safe when other options will never ever make whole parts of the world a toxic wasteland for the rest of human history.
> I tried to install NixOS using the live cd last week in a Hyper-V VM, but it failed to get anywher e due to SquashFS errors.

I'm curious what happened here because just a few weeks ago I was using a NixOS live-cd to rescue a botched gentoo VM on my windows machine (managed with Hyper-V manager).

If you give it another shot, run into the issue again, and document it, the Nix community would almost certainly help you debug it and figure out what went wrong.
Not a bad write-up, but there's no way forests can significantly sequester fossil carbon from oil, gas and coal combustion at any meaningful rate. Mature forest is mostly in steady-state with respect to total carbon storage, as dead trees decay to atmospheric CO2 at the same rate that growing trees absorb atmospheric CO2:

https://academic.oup.com/forestry/article/90/1/125/2605858

Limited harvesting of trees for conversion to long-lived products has some additional effect, but eventually even wood-framed homes get attacked by termites etc, so estimates are that well-designed wood homes have a 100-150 year lifetime. If you dump logs in the anoxic waters of the Black Sea, however, they can last 1000s of years (see old shipwrecks).

The only realistic way to stabilize the atmospheric CO2 level is to steadily eliminate fossil fuels from the energy mix, bringing various renewable energy sources online at the same rate. Yes, that's an expensive, technologically challenging proposition, but so was building the global fossil fuel infrastructure in the first place. So-called 'carbon markets' in contrast have been entirely ineffective in slowing the rate of atmospheric CO2 growth, it's just a game of deck chairs on the Titanic, with some bonuses for biodiversity conservation.

Fundamentally, you can run a modern industrial civilization on renewables - iron and steel, fertilizers and materials, even jet fuel can be produced using carbon and hydrogen sourced from air and water, and with power from sunlight and wind. It's going to take a whole lot of wind turbines and solar panels, however, as well as many new factories. It'll require diversion of a significant fraction of all industrial activity to the task on a global scale.
There are stylistic differences on these tavern thin crust styles across the upper midwest region. When I hear "chicago thin crust" I don't expect it to be 1:1 equivalent w/ columbus style pizza, st louis style pizza, etc. I assume Kenji knows this as well, as for instance I know he's talked about st louis style in the past.

Granted the non-paywall link hasn't loaded for me yet, so for all I know he claims the entire broad-country style was invented in Chicago. In which case, yes I agree with you.
If people see AI-generated comments on HN they should flag them and let us know at hn@ycombinator.com. HN is for humans to converse, and bots have never been allowed.

Of course it's not always easy to say what's AI-generated or not. But if an account is making a habit of it, it still seems possible to tell.
There was no "bailout". As of right now, the government hasn't spent a dollar on SVB. It might have to eventually, if SVB continues to see a run, but as of right now the government hasn't put any money into the bank.
Proper tavern-style pizza is cut into squares, not slices. Slices are for tourists.
We moved to Justworks recently and have been happy with them. We considered Gusto on the basis of strong recommendations from friends, but their insurance package for Pittsburgh didn't satisfy. (They're likely totally fine elsewhere or if your company has other needs.)

We used to use TriNet. Moderate ugh - we spent two months with them trying to fix an incorrect 401k contribution and their flow is a bit ... Stale? It feels like using workday.

We use ADP Canada since Justworks doesn't go there yet. Not as smooth as either Justworks or gusto.

We use TravelBank for reimbursements. They're pretty good.
This does feel then like a matter of taste. While Pascal's predecessor language Algol did allow syntax like that, adding it back to Pascal-like languages would make it into a different kind of language.
Exactly. You'll notice there is no information here on anything related to the numbers essential for safety. I suppose you could derive the energy inputs at least, which sets an upper bound on the energy outputs.

A 2ns pulse at a 100 Hz is small and slow, but I would like some guarantees and I want someone who has at least glanced at ISO 11553.

Some garage bullshit made by someone who clearly hasn't even HEARD of laser safety is not what I want outside of a sealed box.
I think this will be the one for me when my MBP is considered obsolete by AAPL, is that 2 or 3 years these days... Certainly wont be going down the even more locked down and proprietary M(n) AAPL road. I already have a 2013 MBP that overheats with anything but OSX. And an iPad that cant be used because some web certificate chain has expired, so much e-waste! open hardware for me next :)
> What can companies in the ML/analytics space do to help?

plaster the internet with chatbots doing fake engagement in order to swing political bias the other direction. the other side of the argument is already doing it.
I wouldn't be so confident. Flash attention is a recent, significant improvement to training times and sure looks low-hanging now.

I was not familiar with Edge AI, interesting concept. I feel like improving the efficiency of very large models is much more likely.

The recent successes will lead to an even larger influx of $ in the short term --- this is an existential threat to Google, after all. We will see where things go!
Umm…

I think you have it backwards, the other video was using fake likes to avoid having to improve their quality to get an equal number of eyeballs.
It's simply about profit with cutting any corners for more.

It's one thing when a single person does it, entirely something else when millionaires and billionaires do it at a corporate level.

Cruise Ships are burning bunker fuel to this day, dumping tons of toxic mess into the oceans and atmosphere.

Fracking burn off has been going on for over two decades (around for a century but didn't take off until 20 years ago)

Super dooper nasty stuff being dumped into all the freshwater in the USA and around the world.

People see climate change as linear but just like pollution buildup, it's exponential.

Isn't the "point of no return" projected around 2040? What if it's really 2030 but even if 2040, what exactly is going to change in that time?
Caesar was pretty popular, and ignoring that ignores many of the dynamics (reaching back to Marius at least, but really all the way to the Conflict of the Orders) that actually governed Roman politics. At the time he came to power, Rome was ruled by an oligarchy, and many of the instruments of political representation for the people had been co-opted by the aristocracy. Not to say his intentions were at all pure, but neither were those of any of his contemporaries.
I assume you'd be happy to live just downstream of that and be drinking it daily?

The leak happened in November and it's just being made public now, so you would have been drinking it for all those months completely unaware. Who's to say the level couldn't be 10x or 10000x and they still won't say anything for months ?
The New Mind Readers
Go, Java language-level 8, Python. All have an approach, usually with some third party library, but the bone stock database drivers deal in field indexes. And people consider those libraries "ORM" whether or not they really are technically.
difference between programming environment and program execution environment?

if i enter (+ 1 2) which is a lisp program, where is the state? in the context of lisp.

but of course, everything is stateful at the end of the day - that's what your cpu is up to.
So your attitude to misinformation is that we should just give up, and act as if it's true? Should we stop doing vaccinations too, just because some people believe they contain 5G chips?
Imagine how angry this hypothetical person will be when they get the same problem from the LLM, after all those extra steps.
That's not fiction. Not sure what came first though
That's a good paper! Thanks for sharing.
oh my god, that cannot be legal. It sure ain't safe.
Isn't it crazy to hold $300M just sitting in the bank? I have pennies for a net worth comparatively and I was taught to keep my money spread around, and not all of it just in cash in the bank. But also, I am ignorant to how a start up operates.
Mom had one while I was growing up, and even then, I was horrified at the noise, vibration, and harshness compared to the gas equivalent model. The Rabbit Diesel is very loud, and in an unpleasant, clattering way.

It's amazing how far diesels have come. I have a Range Rover diesel, and even most car fans don't realize it's a diesel until I mention it.
https://vm-vision.eu/nl/toepassingen/edelemetalen1/ sounds interesting to detect these.

"X-ray fluorescence is a very reliable way to confirm the purity, but XRF is a surface technique. Some precious metals processors have even resorted to drilling or cutting bars to verify integrity. However, a simple ultrasonic test can quickly and reliably locate inserts with no need to drill, cut, or otherwise alter the bar."
knowing the printed publication, it's probably what the issue on education is. You described their concept basically.
What is linked here is between section as a breather and way to navigates the texts
The articles are almost exclusively primary writing from various time and places.
I liked the movie, yes.
Yea I was going to comment and say if anyone is interested in a modern language the follows in the tradition of Pascal/Oberon they should look into Odin
Yep. Of the several native chicago friends in my extended friend circle, all but one has a strong preference for the tavern square cut style
Bing's assistant (chatbot) is also a good example of the nest technical side. There are some people there trying to make new technology accessible to many.

Hampered by other things in the same pattern, right now requiring an Edge User agent.
‘Fortnite’ studio hit with £201M fine and ordered to stop tricking players
*South Carolina.