skysight-inc/HackerNews huggingface dataset:
Playing poker for a living sounds very boring.
That's very fair. I think it extends to people who care about energy in general though, not just environmentalists. For example on the Internet, there is always a highly vocal pro-nuclear camp to be found. Some of them -- but not all by all means -- will often claim that nuclear is the "One True Solution" to clean energy.

I think at the end of the day it comes down to tribalism, sadly. People choose their "side" and pitch in to defend its merits and attack the other "side"'s deficiencies. As with many things, there isn't a whole lot of room left for holistic approaches.

I'm personally not a huge fan of nuclear because I'm a pragmatist, and I think most people are pragmatists at the end of the day, being human. And pragmatists don't make good operators of nuclear power plants. But I definitely don't think any existing nuclear plants should be closed. They should be (safely) continued to run as long as possible to provide the clean energy we desperately need while other safer (and often cheaper) renewables+storages ramp up.
Did you just use standard Yocto or similar tools to build such images? Are there standard daemons for managing hardware watchdogs (besides systemd since that's too simple as you say)? I think there's a lot of niche knowledge in the embedded space and many programmers are used to cloud systems and at most target. The most embedded experience most programmers have is likely iOS/Android development where all of the actual embedded concerns are handled for you. Even Google (soft)bricked a bunch of phones with the latest Android 14 update [1].

IMO there's not a lot of regular OSS for building embedded systems that comes with A/B partitioning, watchdogs, secure and verified boot - it's all custom at every org and tailored for individual products.

[1] https://arstechnica.com/gadgets/2023/11/android-14-patches-r...
The library is specifically meant for safely replacing legacy implementations and they generally aren't that well structured.
Maybe people just like to use general purpose languages. It should not be too hard to marry the good parts of major language families
Definitely read up on ML basics if you are going to build anything. And by ML basics I mean the concepts of supervised/unsupervised /reinforcement learning - and in particular model evaluation. It is absolutely critical for any ML-based system to have a structured way to judge how well a system works: whether it works well enough (according to some target), or which of two alternatives is better, and that the nature of the errors are not critical or maybe some of them can be mitigated etc.
If you are in a locked down corporate dragnet. You want to write some code, automate something or compute something.
VBA may be what you have available to you.
Vba has "on error goto".
Uhm.. Why not padding using NOP ? Looks much more safer that slapping around
random prefixes.
Doesn't Apple make billions selling ads?

https://appleinsider.com/articles/22/06/15/apple-ad-business...
When did the ability to clone a repo outside of GitHub become a niche use case? It's not something you need to explicitly support, in fact you have to actively go out of your way to make sure only GitHub works.
Jack himself said he should be judged by where the company was 10 years after he left. That comment did not age well.

I'm saying he had a larger agenda at the time that comment was made, one that had him divesting not just from nuclear but many other of GE's historic heavy industry and power related business lines.
Kagi and You.com are way better than Google. Searches are usually within 1 page result unlike Google these days peppered with so many ads that the thing I look for usually at page 10-20 range. The only downside is they are paid service. Google stickyness is because it is free using us as product just like Meta. If you forho it being free, Kagi and You.com are great alternative. DDG is also free but due to way it monetize, it lacks a lot of features to what Kagi and You provides.
It seems though that you're not going to use interceptors to code up your business logic, or at least not without producing unsuitable code.

What they're likely aimed at is scenarios such as DI frameworks where there is currently "serious magic" code that generates code at runtime using reflection and lightweight code gen; and in new AOT scenarios all of this has to be done ahead of time, during compilation, in source generators, without runtime reflection. In other words, if you're not writing such an DI / AOP library, it's not for you.

But if you want to make a "PostSharp style AOP framework" then this is a tool for you to use when building it.
Mainly low income and unaffordable real estate (compared to the US)? I mean it depends, depending on where you live and where you go to crime is not necessarily such a big issue in the US. Healthcare outcomes are also heavily variable and depend a lot of income (and I’ not talking about the “1%”) but can be just as good or better in the US.

If you’re below the average (income/wealth wise) and have other disadvantages you might certainly be better off in Europe. Otherwise (inherited wealth aside) US might be a better place to be depending on your personal preferences and priorities.
> Currently panels drop to 80% efficacy after 10 years and are doorstops in 20

Oh come on. This is an absurd claim with no evidence. Don't be ridiculous.
It would be more like an SAT-guided program synthesis---you can exhaustively generate all functions with at most n operations, and you can describe that particular operation as a boolean formula, so you can feed all of them to filter ones that are provably equivalent.

As for the actual boolean formula, I believe that he used his own creation, Haroldbot [1] which can evaluate bitwise expressions and enumerate all cases where the expression evaluates to true. Since simple formulas for previous and next integer with the same popcount, it should be doable. I've even constructed a concrete formula with the suggested formula:

let n = (let t = x + (x & -x) in let u = x & ~t in t ^ ((u >>s tzcnt(u)) >>s 1)) in
let p = (let v = x - (~x & (x + 1)) in let w = ~x & v in v ^ ((w >>s tzcnt(w)) >>s 1)) in
let c = (let y = -x & (x + 1) in x ^ y ^ (y >> 1)) in
(n == -1) || (p == 0) || (
(p < x) && (popcnt(p) == popcnt(x)) &&
(x < n) && (popcnt(x) == popcnt(n)) &&
((x - p > n - x) && (c == n)) || ((x - p <= n - x) && (c == p)))
)

...where `n` is for the next such integer (or all 1s), `p` is for the previous such integer (or all 0s), `c` is for the closest such integer, and assuming that both `p` and `n` exists, `c` should be the closest of either `p` or `n`. This expression can be mechanically translated to a single boolean formula, which Haroldbot internally does for complicated formulas [2].

[1] http://haroldbot.nl/

[2] It apparently uses binary decision diagrams for simpler cases: http://haroldbot.nl/how.html
No, on that specific section of I5 there are a large amount of long haul trucks too. It is not at all just last mile and local delivery stuff. Note I'm sitting approximately 1/4th mile from the section I'm talking about so please don't say I'm clueless.
You're not, I would also rather have the Powershell team improve ISE than their decision to migrate into VSCode, but alas.
It's a pretty high bar. Three mile island has a lifetime production of ~250 TWh, coal kills ~25 people per TWh.

So if it had killed ~6000 people it would be within the accepted norms of the energy industry for anything that isn't nuclear.

https://ourworldindata.org/grapher/death-rates-from-energy-p...
I am happy (good) science does not take the "is obvious" claim as sufficient, and instead focuses on proving things with objective facts.

I am not saying these cannot be plain to see in the code, but the best standard IMO is still to measure before and after the optimization. IMHO, again, you can skip that step, but then other people might rightfully ask you what proof you have that the optimization is faster (I would).
I think a legitimate fear of radio amateurs is that encrypted, fully autonomous, long distance communication is such a killer application that usage would explode from commercial devices sold to take advantage of the ham space, leading to some kind of WiFi cacophony.

Perhaps some kind of compromise is possible, where all encrypted ham must broadcast their callsign in the clear every few seconds.
GPU's have been hard to find on all the big platforms for a long time, assuming you want more than a few hundred.
Unable to handle Google scale usage, even with a login wall.

Imagine if ChatGPT had no login wall just like Google doesn't require a login to use, then the whole site would be thrown straight into the ground.
I don't think Apple search would provide any tangible benefit for Apple users, nor do I hear any regular iPhone users express any desire to have Apple search, they just use the default. It might benefit Apple though, but why spend money on developing search when you can just use Google and get 36% of the revenue.

The whole wanting a 100% Apple ecosystem isn't something I think many a clamoring, except perhaps the few insane hardcore Apple fans. Also currently the alternative is pretty much locking yourself into a Google ecosystem and that's worse.
What else happened on Oct 7th ?
> "but muh batteries"

Thanks for arguing in such bad faith by default. But let's just say there are other ways of storing energy that don't need huge amounts of processed lithium.

Have you perhaps heard of "muh pumped hydro", "muh flow batteries", "muh hydrogen", and the myriad of other less mature storage technologies currently being developed?
It uses whatever amount of RAM you tell it to. I think the default is 1MB, which is way too small. It uses external sorting which means it uses O(1) RAM and O(N) temporary disk space. Oversimplified: it reads fixed sized chunks from the input, sorts each chunk in RAM and writes each sorted chunk to its own temp disk file, then merges the sorted disk files. If there are a huge number of temp files, it can merge them recursively, converting groups of shorter files into single longer ones, then merging the longer ones. I'd set the chunk size to a few GB depending on the amount of ram available.

That is basically how everything worked back when 1MB was a lot of memory. The temp files were even on magtape rather than disk. Old movie clips of computer rooms full of magtape drives jumping around, were probably running a sorting procedure of some type. E.g. if you had a telephone in the 1960s, they ran something like that once a month to generate your phone bill with itemized calls. A lot of Knuth volume 3 is still about how to do that.

These days you'd do very large sorting operations (say for a web search engine indexing 1000's of TB of data) with Hadoop or MapReduce or the like. Basically you split the data across 1000s of computers, let each computer do its own sorting operation so you can use all the CPU's and RAM at the same time, and then do the final merge stage between the computers over fast local networks.

I've used the Unix sort program on inputs as large as 500GB and it works fine with a few GB of memory. It does take a while, but so what.
i was referring more to the price difference. Typically a desktop will get you much more for the same price compared to a laptop and is much more upgradable. Combined with a lightweight M1 air with top battery, you get best of the both worlds.
For me, top performance in smartphones means lack of lags on 90-120hz smooth screen and easy of switching between apps without being afraid of them being unloaded from memory (nowadays apps are really heavy: look at combined instagram, firefox browser, some messenger like whatsapp/telegram, youtube, linkedin, etc... and suddenly RAM memory fills pretty fast and you'll also typically need a good battery life for top perf, meaning you need better processor with smaller nm)
IDK, you can find many basic online articles about "what is C#" and "why C#".

What are you comparing C# and .NET to?

If you prefer loosely typed languages such as Perl, Python, JavaScript then you will find C# too picky about types. Personally, I prefer to have the discipline.

If you are doing low-level stuff where a GC is out of the question then you would prefer C++ or Rust.

But in the in-between space; for most web or business apps, it's very good.
The fact that nobody owns the air around me is arbitrary. I could make the argument that because I'm in the United States they should be able to listen to any conversation in the United States (by "owning" the air or otherwise).
Reading: EXtended Block Cache (2020)
Haroldbot, client-side tool that checks 32-bit bitvector arithmetic equivalence
> I was talking capital costs, not operational costs.

Ok, but surely the only cost that matters is the lifetime cost? (Including whatever cleanup is needed for both nuclear and whichever fossil and/or renewable+storage combination it is compared against).

> Half of your plant not really reducing much in price, will limit the benefits you can get even if the other half sees massive cost reductions.

Sure, absolutely. But coal is pretty expensive over the course of a year, so it can look like a good opportunity (if only for the reality hadn't turned out so fragile and, when it goes wrong, severe).
Compared with the constant deaths from coal, yeah, it's a much better bet. Thankfully moot these days, but the overreaction to these problems set us back generations at solving climate change.
Clojure is a lisp, it basically got to skip the parsing and lexing stages
I remember Haiku from the days where I read osnews instead of hacker news. Is anybody using Haiku here for more than just personal use?
If LLMS are not on the path to general intelligence, what is then?
Yeah, and I think it's also an indictment of poker as a game. It's exciting? So would most games be, if played for high stakes! It can't be a very fun game in itself, if it needs stakes to be fun.

There are so many games out there. If it's really about the satisfaction of getting better, the social aspect, and all those other things, why not pursue it in one of the other games?
One of the best HN posts I’ve ever read. Thanks for sharing your story. I don’t have any doubt you’ll be happy about your pivot and successful in your next phase. Good luck.
Don't let your dreams be dreams.
Also at this point, probably everything that can be done in VBA has been done already, so there is definitely a code snippet out there on a forum somewhere for whatever it is you are trying to do.
Somehow yes,... I'm still very interested in how that works. I doubt it's wrong, but I only see ads in the app store, surely that cannot be worth that much, if so: Apple is overcharging big time on those ads.
I wrote this file management utility that displays in the browser but needing some help that otherwise isn’t there.

* Test automation in the browser is generally slow to execute and painful to write so I wrote a new test automation utility that is faster and more durable that is just one file in the browser, one file in Node, and doesn’t backdoor the browser.

* I needed a way to distribute files and unrestricted file system access crossOS securely over the open internet. Nobody does this because there are privacy concerns to sharing file system access to third party servers, so I wrote a new peer-to-peer security model to solve for this excluding third parties.

* I am in the process of rearchitecting the application into an OS so that anybody can their own utilities on top of the infrastructure the application provides. I am doing this for selfish reasons so that I can bolt on new features ad hoc without refactoring the application.
Starter kits are helpful for beginners, but relying on them too much can be limiting.

It's crucial for developers to learn how to configure their own coding stack.

This foundational skill is key to growth and adaptability in tech. While starter kits offer a good starting point, they shouldn't replace the essential know-how of setup and configuration in my opinion.
To what degree is that because of inherited wealth?

I’m not sure median wealth is a better indicator of social mobility than income.
> I would love to see a book as gentle and fun as _Crafting Interpreters_ but about making a static ML like language without starting with hardcore theory. (Bob, if you're listening, please make a sequel!)

I don't think an ML-like language is the best option. I would start with type-checking something simple like C or Pascal: no overloading, generics, type inference, anonymous functions. Just plain old subroutines and declared types on everything, arrays and structs as the only composite data structures.

Then you could add implicit conversions, type inference for locals (not that hard), subtyping, target type inference for anonymous functions, generics and maybe overloads if you're brave enough.
I don't understand your complaint, isn't that accurate?

> Indeed, life expectancy in the United States is so bad that the relevant comparison class is a set of much poorer countries like Chile and Poland — countries that are richer than the world average but aren’t even close to the top.
A few years ago I ported a UNIX log processing application into Java, that was basically a bunch of Korn shell scripts born in AIX, doing all sorts of data fetching, log processing and uploading of results into other severs, scattered around a couple of scripts and UNIX tools.

It was a bit of a mess indeed, however as the author of the Java port, I would assess the Korn shell scripts were still much better approach, despite the mess.

Reason for the port? Whoever was taking charge of the application wasn't confortable with UNIX and decided having it done in Java was easier for having random external consulting companies develop it further.
Hi Jeff, Great work, Respect!

I just hit the daily limit on the second request at https://climate-api.open-meteo.com/v1/climate

I see the limit for non-commercial use should be "less than 10.000 daily API calls". Technically 2 is less than 10.000, I know, but still I decided to drop you a comment. :)
I like lisp but that is saying your dog is very big for a chihuahua.
That's my point. Capital rich startups are not the subject of this comment. The reason Placemark is failing is not because it could not get one FAANG contract, it's because many small startups/smbs/single person businesses could not pay $20 for it. The comment was to give one reason I believe many SaaS startups today fail to grow, it's because the $20 is a fee for the small guy (otherwise it would be $500 or a contact us button), but the small guy has 100 other $20 subscriptions x employees, so another $20 is more like $1500+20 a month, and maybe the reason they can only afford 2 employees vs 3.
Forget the light barrier, just getting into space cheaply enough is the limiting factor.

Barring something like fusion rockets or a space elevator, it's going to be hard to really do a whole lot in space.
No, because it's not.
Not without a massive cut in doctor and (especially) nursing staff pay. Which might be problematic considering all the medical school debt they have.
Yes, that's basically Quadrature Amplitude Modulation (QAM). You divide the "amplitude vs phase" 2D space into a grid of points (typically 4, 8, 16, 32, ...) and assign a code to each. That way you can send 2, 3, 4, 5, (...) bits per symbol. Of course, the downside is that you need a higher signal to noise ratio to resolve which point a symbol represents.

Edit: fixed bits per symbol
Then parent was correct but `s/UTC/TAI/g`; no counting of days nor multiplication required.
A big problem with government having large power is that there is absolutely not repercussions for abuse and absolutely no functional way to address any abuse of power if discovered.

The Dutch government used a neighbor of mine in a drastically illegal way, faciliating criminality by proxy (Through the neighbor) and protecting said neighbor for more than 10 years. They call it an "intervention" and it's intended to be actions to interfere with organised crime. However, I was simply literally living between the civilian that this proxy intervention was being carried out and the person that once way back in 1995 was arrested and convicted for growing hennep. I became a target of this "intervention" simply because I objected to the collateral harrassment.

Not a simple safe guard succeeded. Every government department simply ignored my formal complaints. The police turned off all response to my calls simply because the public prosecutor told them to. I had to force my stalking case to caught by means of the national ombudsman and it took 5 years to get it to court. Then the prosecutors involved got involved in this caught case and made it fail. The main prosecutor was in fact pretending to prosecute someone for stalking that was his own illegally run informant. The other prosecutor moved to a position on the board of directors of the court of Maastricht so that they could interfere with the prosecution both directly by the prosecutor and behind the scenes. The one interfering behind the scenes is now the president of the court of Maastrict.

I filed police charges against one of the prosecutors. They simply refused to accept the evidence. I appealed and the attorney general simply ignored and refused to comment on the evidence.

If there is absolutely no functional safe guards for abuse, laws with this sort of power simply should not be passed!!
> If clouds use shared servers to run their management workloads and if very important companies use shared servers to run their workloads, they would deserve it.

Why target the management plane? Fire off payloads to take down the physical VM hosts and suddenly any cloud provider has a serious issue because the entire compute capacity drops.
My point is that LLMs can do both, the same way humans can. We don't learn or recall reversals automatically either - we memorize them separately, or run an inference step (which, done often enough, leads to memorization). Reversals aren't free - not for LLMs, and not for our own minds.
> But is it low enough?

Yes.
> x86 was designed in 78, basically for the purpose of running a primitive laser printer

It's interesting that ASCII is transparently just a bunch of control codes for a physical printer/typewriter, combining things like "advance the paper one line", "advance the paper one inch", "reset the carriage position", and "strike an F at the carriage position", all of which are different mechanical actions that you might want a typewriter to do.

But now we have Unicode, which is dedicated to the purpose of assigning ID numbers to visual glyphs, and ASCII has been interpreted as a bunch of glyph references instead of a bunch of machine instructions, and there are the control codes with no visual representation, sitting in Unicode, being inappropriate in every possible way.

It's kind of like if Unicode were to incorporate "start microwave" as part of a set with "1", "2", "3", etc.
> Bing still sucks

Bing is actually really really good these days, but was it worth the investment? I can understand that Microsoft want some of that R&D money back, but I really wish they would have kept focus on Windows and taken the high road and made it better, more secure, more private and then thrown Bing in Googles face without the ads and tracking, just to prove that "the big boys" make money on selling actual products, not their users. Sadly that wasn't the world we got, at least they resell Bing to more privacy focus companies.
I am extremely interested in this. The utter silence in the literature around this is a bit odd, frankly.

Not LLMs specifically, but transformers more generally, ought to be extremely good at this task.

Another one I wonder about a lot is execution traces. Something that isn't mentioned often enough is that transformer models can do previous-token completion just as easily as next-token completion. So you can train the model on paired program/exectrace (training data is trivial to generate here -- just execute it on a CPU!) and then ask the model to work backwards from a desired machine-state you want to reach.