skysight-inc/HackerNews huggingface dataset:
But the problem here is: you need to pay for software development. This requires a few years of effort by a capable machine learning engineer that's also a pretty good software developer. I would love to try this, mostly to become a capable machine learning engineer. But ... what's missing is the $, like in so many software demands.

I looked up the paper on this, but there are no good models for it that generate proper syntax. So for one thing, whoever does this would need to grind out creating at minimum a few 10,000 math exercises, to get the software to work.

So this costs, say, ~400.000 USD, and 2 years of time, counting taxes, equipment, office, ... Perhaps "only" 100.000 if you're a professor and willing to use a PhD student (and deal with the issues that will give).

Now I don't mean to disparage this proposal. But this seems to be how everything works except "improve our existing boring software 1%" ... And it's frustrating. At best, I can find machine learning jobs that boil down to "make LLMs solve tickets" or, worse "make LLMs write spam" (usually customize/personalize existing spam mails). Beats solving tickets myself, that it definitely does, but something like this ...

I don't have trouble finding software development jobs. However, I cannot ever seem to do something like this. I would so love to make something like this, to really take a hard problem, work it and make something beautiful. But this is not a hobby effort. This requires spending a few years of effort making something beautiful.

If this is done as a hobby project I can make a nice tech demo, no doubt, but it will be only what I make of it, and it'll be a limited cool tech demo, just like what Apple did (making a gradio that does a few examples correctly isn't very hard), what I'd use it for. Not because I don't want to make the next generation of advanced calculators, but because I'd never have the time to do that.
What is P2P meth? I always think peer to peer.
Have you tried it in the last year? It’s far ahead of anything else on offer, including products that do just CI.

It’s like they’ve been laying low and learning from everyone else’s mistakes, and then boom.
Thank you! Can hard refresh be done in some way manually on iOS without using “clear _all_ website data” option?
It hasn't failed. Not if you do what crowdsourcing requires and suggest a better replacement.

I agree that "Solving 2D geometry puzzles using 3D reasoning" does not fit the actual topic of the video, so I have replaced it with "Geometry puzzles with 4D analogies" for now – which is also not quite right, since the largest part of the video doesn't refer to any 4D concepts. I think it's, more generally, about puzzles that can be more easily solved by considering any other dimension, but it's harder to make a good title out of that.
Do you have another idea for an improvement?
Good quality LLMs run offline and locally on average PCs. And most software developers have always embraced new technologies that make us more productive.

This is not the first time writing software got a lot more accessible and it won't be the last.
Math Notes is pretty cool, I used it recently to figure out what spec AC I needed to buy to climate control my non-insulated barn workshop while I'm working there. However, I struggled to get it to convert units.

An example with non-representative numbers:

A = 10000 W
B = A / 1 kW =

This gives 10 000 000 W². I was hoping for 10 kW.
Imagine trying to watch even a fraction of that!
> There are definitely differences between an alive cell and a dead one.

Energy flow is the difference. but then everything has an energy flow. Losing and gaining electrons. So it is possible that literally everything is alive, don’t you think? Maybe the problem is is that we’re trying to make a definition where none ultimately really exists.
We don't have the same appreciation of what's a "Car Size" object.
Wow, what a great name!
They're excellent at inconveniencing legitimate devs for "mistakes" like links to external payment options, but oddly bad at spotting actual scams. I think that tells you something about the actual goal of app review.
Relative importance of carbon dioxide and water in the greenhouse effect [pdf]
Reminds me of the Apple TV show "Constellation".
It’s either because they don’t want us to freak out that we’re not gonna be able to escape the climate change hell on earth to go to Mars or that there is some reality behind all these new UFO disclosures.
Capitalism is unethical. Name a public company that gives a flying fart about what is ethical beyond the bare minimum. The ones that can afford the fines don’t even bother with the minimum.
There’s gotta be a "thank you, next" button!
I wonder how many people that would actually affect? All iPhones that support iOS 18 support eSIM. Starting with iPhone 14 all iPhones except the SE have only had eSIM.

I would guess that most people with only one SIM go with eSIM if they phone supports it.

You can put a PIN on an eSIM, but is there really much point? My understanding is that the main point of a SIM PIN is so that someone cannot transfer your physical SIM to another phone.

Without a PIN someone could steal your phone and even if they could not get past the phone lock they could just move the physical SIM to their phone and thus take over your phone number. They don't even need to steal your phone--they just need access to it for a few seconds to remove the SIM.

That's not the case with eSIM.

You might want a PIN to keep others from making/receiving calls if they have access to your unlocked phone, but because SIMs permanently lock after 3 failed unlock attempts (with no timeout--a mistake today, another a year from now, and another two years after that and it locks) that's probably asking for trouble.
> Btw, Wouldn't that 3 Billion be better spent in Germany on ...

A national government has to manage a lot of time & scale trade-offs. Longer-term, keeping a very large and aggressive rival nation mired in an expensive war elsewhere is much preferable to having them win their war. The rival would very likely proceed to "next steps" which would be considerably worse for Germany than the status quo.

Maybe read a bit about European's history over the past fourish centuries?
I wrote a fair bit of RoR app code in the past.

Now I'm on the JVM and Hibernate is the equivalent of AR there: an ORM.

We try to get rid of Hibernate were we can: it is slow, comes with huuuuuge conceptual overhead (detachment/lifecycle/lazy/etc), makes it easy to write bad code (e.g. queries in loops), and you still need to know SQL (for complex queries that dont fit in the ORM).

So we use jOOQ now. Much better. Somthing that's AR also offers (but without the type safety). LINQ also has a similar interface (the one w/o the fancy syntax).

Alternatively there are tools like SQLDelight (Kotlin) and Sqlx (Rust). That provide an alternative path to "just use SQL" without resorting to queries-in-strings.
But long term, that's good: we have only one spaceship (earth) in the end, that's the one we have to take extreme care of.
> Show all images on the page in a grid with size and megapixel tags. Useful for manual scraping.
Would you mind sharing that one?
Stop stealing sheep, and find out how typography works [pdf]
Console prices could skyrocket by 40% due to Donald Trump's victory
Nah, it was space herpes.
Russia can't even invade some villages in Ukraine, what makes you think they'll be a threat to whole of NATO and invade Germany after, that warrants German taxpayer money funding Ukraine when Germany can't fund its own rail infrastructure and education system property?

To me, education and healthcare is more important to the future of my country than the security of another country (no offense). People who refuse to see this cold hearted truth are also the ones surprised the right wing is growing when the voters are tired with the establishment who doesn't represented their best interests anymore.

As a politician you can't tell a couple who's struggling to find free spot at kindergarten or pediatrician near them for their kids that there's no more money for those things while you give 3 Billion away to a foreign country with a straight face. Average voters are stupid but they're not that stupid.
> EUV (not High-NA) is much, much more complex than Immersion Lithography—and China doesn’t have have that either

I recall a similar scenario: China can't make reliable transmission powertrain either. Then EV happened.
Period Tracking App Refuses to Disclose Data to American Authorities
It’s strange and frustrating to see so much potential locked in the lab when the demand for effective treatments is huge
Clap handles the option/argument parsing as one who is used to unix tooling might expect, but why does it deviate so heavily when it comes to the auto-generated doumentation and error messages? Those also form part of the unix user experience. Things like python's argparse get this correct. But to make clap conform to my expectations requires writing my own help string, usage string, and error handling.
I don't think it was a case of it "happening to" people, as in HR took them out back and put a bullet in their head... just social pressure. Internal elitism, perf comments, slowly chipping away at you, maybe even toss you on a PIP. Until you throw up your hands and leave. After all, other employers would be more than happy to have you.

But yes, it was officially dropped. I stayed as L4 for 10 years. But when I transferred teams I occasionally got ... attitude.

Thing is, if you go from L4->L5 (or L5->L6) based on performance you're expected to stay or improve on that performance once you're at L5, and if you don't, you'll get up with Needs Improvement, and there's no going back to L4.
Why? How does syntax coloring help in this context? I don't use syntax coloring at all in my editor, I don't think it adds any information or clues that help me understand the code. I think colored diff output (beyond red for deleted and green for added) just adds distractions.
GPT-4o reads the mind in the eyes
Uh, pretty sure it’s already happened, if by “robot” you mean programmed (but not necessarily independently mobile) automaton / machine, by “autonomous” you mean not under the direct and realtime control of a human operator, and by “deliberately” you mean ML came up with a > 0.5 certainty that the target met its targeting criteria.

Doubt a robot will ever actually deliberate, but that’s more of a philosophical issue.
The safety argument with F-Droid is that F-Droid builds from source and the builds can be verified by anyone

https://f-droid.org/docs/Reproducible_Builds/
Loyalty to a company doesn't always translate to a long-term payoff
NASA is more than manned space travel with lots of unmanned missions to other planets and moons. If space travel causes brain damage, it's more like Elon will have problems.
Not an expert, just a casual observer.

I suspect the only “clean” alternative is open source and self-hosting. Buy a couple of GPUs; build a server rig/home lab/etc. own the means of produxtion.
Generally you want to avoid wasting too much memory on a GPU, even today. That large text box texture also has to go over the PCI bus which can cause stalls depending on when its uploaded and if the GPU ends up having to evict resources. If you end up having a lot of independent texture text boxes being rendered by the comparatively slower CPU, that could add up quickly and cut into your budget.

Drawing using a glyph atlas is still a way better use of resources. Modern text rendering pipelines will also often use either SDF or encoded bezier curves to improve glyph legibility when scaling which is also a great way of saving more memory.
If your program, especially if it accepts paths, flakes out over a path with a ISO/IEC 8859-1:1998 filename, it sucks. It's 2024, programs shouldn't be that unreliable.

args_os is not an escape hatch, it's a pre-requisite to writing a command line argument parser. Honestly, I think the default args iterator should be deprecated, its functionality can be trivially rebuilt from args_os with the panic becoming more explicit.
My senator defended illegal immigration for economic reasons: illegal immigrants work well below minimum wage, don’t pay income taxes, and don’t have access to litigation, so they’re useful for doing hard, labor intensive or dangerous work like picking crops and stuff. This in turn keeps the price of US-grown foods, etc lower.

To me, that defense is suspect. I live in the south, where slavery was once defended on similar grounds.
Component Party – compare different front end JavaScript frameworks
so he'll be fine then?
Standing desk isn't making you any healthier
Honestly I started using obtainium because I can't figure out why F-Ddoid builds are a month behind. RedReader became completely broken and needed the newer version. Not sure what's up with that lag. It's extremely frustrating.
It’s more that nostalgia is apparently very healthy for you
Create Any 3D/4D Scenes from a Single Image with Controllable Video Diffusion
Exactly. The smaller bit widths from quantization might marginally decrease the compute required for each operation, but they do not reduce the overall volume of operations. So, the effect of quantization is generally more impactful on memory use than compute.
There's more to it than that.

If you could train models faster, you’d be able to build larger, more powerful models that outperform the competition.

The fact that Llama 3 is significantly over trained than what was considered ideal even three years ago shows there's a strong appetite for efficient training. The lack of progress isn’t due to a lack of effort. No one has managed to do this yet because no one has figured out how.

I built 1-trit quantized models as a side project nearly a decade ago. Back then, no one cared because models weren’t yet using all available memory, and on devices where memory was fully utilized, compute power was the limiting factor. I spend much longer trying to figure out how to get 1-trit training to work and I never could. Of all the papers and people in the field I've talked to, no one else has either.
This idea was also used in The Algebraist.
Happy to see something being developed for merge drivers, they are a underrated Git feature that could save a lot since the standard three-way merge of file contents is not aware of the language and can create some problems. For example, if you have this valid Python code:

x = input()

if x == 'x':
print('foo')

print('bar')

If you delete the first print in a branch, delete the other print in another branch, then merge the two branches, you'll have this:

x = input()

if x == 'x':

Both branches delete a portion of the code inside the if block, leaving it only with a whitespace. In Python it is not a valid code, as they empty scopes need to be declared with pass.

I installed Mergiraf to see if it can solve this situation, but sadly, it doesn't support Python...
I once did an engineering camp at the Air Force academy and in one of the classes we programmed Lego mindstorms with Ada - something like https://www.adacore.com/academia/projects/real-time-mindstor...

I do wish we had better options for embedded! Even C++ isn't making much headway against C when it comes to programming microcontrollers.
You're stuck in old ways of thinking. If the purpose is education, people shouldn't go straight from high school to academia. Higher education is more suitable for adults with a little more experience from life. I did an intensive higher education course specifically for adults later in my life, most of us with a blue collar background. We could do the equivalent of 3-4 years studies in one year, because we were all more mature and motivated. And also because most university education is in a very slow tempo, to drag out the years as much as possible.

High school graduates won't be structured, because they're not supposed to sit in a school bench at that stage of life. They've been there for ten years already. Continuing studies without even tasting real life stunts your development.

Here are some purposes of academia, besides education:

– Research

– Privilege laundering for the rich

– Hiding youth unemployment

– Brain washing youths (Not in your country or university, where it's merely influencing them in the right direction)

– Continue to instill a leader-follower mindset into the population

– A nice and leisurely lifestyle without having to work

– Getting connections with rich and influential families

– Finding young people for romantic adventures

– Impressing older generations, who value degrees religiously
> I abused the Resource Manager and a file's resource fork to serve as a crude VM

Abused? That’s what it was designed to be. https://www.folklore.org/The_Grand_Unified_Model.html:

“Thankfully, I knew of a similar system in Smalltalk, an object-oriented virtual memory called OOZE that was designed by Ted Kaehler, that swapped objects in and out of main memory as required. This was my inspiration for the Resource Manager. Find out more about OOZE here”
Standing still is rather bad for you; probably worse than sitting for long periods.
From what I'm seeing, most of the open source TTS models are trained on the same few voices, mostly in 16Khz, mostly from Librivox books I think.

Eleven Labs is most likely trained on stolen audiobooks, they've published a few Youtube videos in Polish, now taken down, of AI renditions of famous Polish audiobook narrators. This was all before they became popular, and before their voice cloning models were publicly available I think.
If it was "who are all these topmen" then you are supposed to notice the differences in the shoes sticking out of numbered hammocks and use that to put together with the few times they are involved in a memory while awake.
I am inclined to believe that they had clearly encountered the protomolecule, and – of course – the government is now trying to cover it up. Because, you know, too prevent another Eros.
"really hate men" in what way do the democrats hate men and does that justify voting for a party who have people openly calling them degenerate, who have people advocating murdering democrats?
What happens if you put chocolate in a 3D printer? [video]
Building and operating a pretty big storage system called S3 (2023)
I'm getting downvoted now :/

I think I'll write a blog post at some point explaining my process for visualizing 4D. Hopefully it should make it clearer what I mean.

I think most existing resources on the topic go about it in a way that makes it hard to build up a proper intuition. They start by assuming that humans can visualize 3D and then try to extend that one dimension higher. But humans can't actually visualize 3D, only 2D. We combine multiple different 2D perspectives together to "fake" an understanding of 3D. Our vision is also only stereoscopic 2D, not true 3D.

If you take a similar approach with 4D, trying to project directly from 4D to 2D instead of going through 3D as an intermediate step, it's harder to visualize at first but better in the long run for really understanding it.
>I think you learned the most important lesson of any career: the customer is not your customer. The person/people who control your raise, bonus, and promotion are your real customers.

Yes and maximizing the value of your business means optimizing for promotion. Students should be teached these things in universities so they don't waste years from their lives after they graduate.
Thanks for the detailed rundown.
Unfortunately F-Droid sometimes distributes outdated software with security vulnerabilities. This happened with Fennec (Firefox variant), not sure what the reason was. I switched back to Firefox + Google Play after that.
Apparently this is based on their post flight press conference, where they basically said "we aren't going to say anything today":

https://www.youtube.com/watch?v=2dldvKAn2Ns
well, i was comparing it to the free tools available a few years ago, and against that, this example is a markable improvement. it's the first that i could actually bear to listen to over a longer period of time. i expect just another few years and this will actually be good.
A wider society that supports Deaf culture (or even just deaf ppl) would do things like provide email or SMS support for access to essential services instead of only providing telephone support and expecting the d/Deaf ppl to bring their own translators .
There is a phrase that might be confusing for those who do not know Ada:

"As a historical note, earlier versions of Ada forbade reading from out variables, which allowed more efficient calling conventions, but modern Ada allows it because otherwise people went insane."

What is meant is that the "out" parameters behave like local variables without initializers, which upon entry into a function are likely to have invalid values.

Therefore you cannot read an "out" parameter before assigning a value to it. After the first assignment, it can be read or written at any time before the function returns.

Depending on the type, an "out" parameter is implemented as either a CPU register whose value is unknown upon function entry or as a reference to a memory area allocated in the caller, but uninitialized.

The specification of the function parameters as "in", "out" or "in out" and the irrelevance and transparency of how the compiler chooses to pass the parameters is one of the best features of Ada.

This has not been invented by the creators of Ada, but it has been invented by some anonymous Department of Defense employees or contractors.

This feature was included in the DoD "Requirements for High Order Computer Programming Languages", "IRONMAN" from the July 1977 revision. It was probably already present in the first version of "IRONMAN" from January 1977.

It is a huge mistake in the design of almost all programming languages that have appeared after Ada that they do not include this feature.

The lack of distinction between "out" and "in out" parameters has serious consequences especially for the object-oriented languages. The lack of this feature has caused a very large part of the complexity of C++ and also most of the performance problems of the C++ versions from before 2011.

When "out" and "in out" parameters are distinguished, there is no need for the existence of constructors as a separate concept. Any ordinary function with an "out" parameter can be used wherever C++ requires a dedicated constructor. Instead of constructors, it is enough to have an identifier convention for functions that should be called by the compiler when you want implicit initialization or implicit conversions.

Moreover, there is no need to care about "copy" semantics and "move" semantics or about temporaries which are or which are not generated by the compiler. It is easy for the compiler to always choose the best implementation without programmer intervention, when it knows the correct parameter modes for the functions.
Actually, I used Algol 68 at uni, while reading EE. That was due to the lecturer tasked with giving us some computing instruction choosing that language. This would have been in around 87 or 88.

I actually quite liked it, finding it easy to translate to / from C and A68, but that was mainly because he only described a subset (incl. nested functions), and didn't even describe REF.

So we got exposed to all of the various FOR/WHILE/DO/OD thing, IF's returning values (used like a C ternary op), etc. Some folks went off and acquired reference books for the language, and explored other areas. I never did as at the time I was comfortable with the K&R C compiler on our dept. unix machines.

The real paint point with A68 there was that the compiler was a batch submission one, took quite some time to run, and the machine doing the work was quite overloaded.
Space Herpes. Definitely Space Herpes.

I swear I can’t be the only one who has seen Ice Pirates (1984).
Sure, I'm aware of that one and no, not using it.
Valid critique. I think nothing prevents the technique from being applied at multiple levels of detail to make it do what you describe.