skysight-inc/HackerNews huggingface dataset:
Same here. My first programming job was a "crossover" from a hardware technician job. It both got me into software, and introduced me to the title of "Engineer." (I was originally a Technician, then, an Electrical Engineer, even though I mostly did software, but in those days, I also designed the hardware the software ran on).

I got my first Apple programming job, because I had a Mac Plus at home, and learned to program it in ASM and Pascal.

I've only taken some non-matriculated math courses. All the rest was pretty much OJT and home study (and a lot of seminars and short classes). My original education was High School Dropout/GED.
> [example hello world] program runs in 0.031 seconds on JDK 23. After doing the small amount of additional work required to create an AOT cache it runs in in 0.018 seconds on JDK NN — an improvement of 42%. The AOT cache occupies 11.4 megabytes.

That’s not immediately convincing that it will be worth it. It is a start I guess.
Next time gov sends me a tax bill or speeding fine I’ll make them a counteroffer since that’s apparently how gov interactions work now
What do real engineers have to do with software? /jk
To me it seems obvious that the environment is likely to change our behaviours somewhat if not more than that
No mention of AI, though!
> No one selling open platform PCs can compete with negative margin console sales

This makes zero sense. Both have existed simultaneously forever, and hundreds of millions of people eagerly buy both for the same households. I cannot understand your point of view here, other than invoking a word "dumping" and "anticompetive" that you are using 200% wrong. Consoles and open platform PCs do not compete with each other.

> In both software and hardware the open PC platform is far more competitive which drives value for consumers.

The market for high budget single player games exists solely because of DRM protected consoles. So this category of product, that people eagerly have paid for for decades, to the tune of hundreds of billions of dollars, would cease to exist if you required console makers to allow people to bypass DRM. Ask 20 people in the game industry and 19 would agree. I understand the core and spirit of what you are saying, but it is reflecting your aspirations for a world that doesn't exist. Markets aren't art exhibits!
That definition feels like it's playing on the verb, the idea of having "agency" in the world, and not on the noun, of being an "agent" for another party. The former is a philosophical category, while the latter has legal meaning and implication, and it feels somewhat disingenuous to continue to mix them up in this way.
Seems to me the article focused on how they did this big job, rather than why.
(To answer the actual question, I was assuming bank transfer, that's the normal cheapest payment option where I live)
Then some of the nitpicks were actually valid?

What about PossiblyWrong, then?
Synchronous Reading with Friends
Thats short term thinking. you need to leapfrog everybody and go s∞
I think people don't get another perspective on this until someone dies.

Mostly it just goes away at death.

It might be interesting to read:

https://en.wikipedia.org/wiki/Digital_hoarding

I have trouble letting go of things, and I found it interesting to read through.

There's a part of me that thinks "It would be so useful to 100% automatically
log and cache everything I do and be able to search it". But I think maybe
being healthly means not doing it.
Digital Amnesia Documentary (2014)
It was not until I recently set up Screen Time in macOS that I realized how much I was being distracted from applying myself to the specific creative endeavor that I have set for myself. It works per-application and across devices, and it is a real benefit compared to the iptables rules I had set up before. I have web, news and other things on Downtime from midnight to noon daily, and throughout the Sabbath. It brings clarity to do the most important things first in the day.
This is going to be bananas for libpython-clj[1]. One of the biggest limiting factors right now is that you can't mix Java/Clojure concurrency with Python concurrency, you need to have a really clear separation of concurrency models. But with this, you will be able to freely mix Clojure and Python concurrency. Just from a compositional standpoint, Clojure atoms and core.async with Python functions will be fantastic. More practically, this will unlock a lot of performance gains with PyTorch and Tensorflow which historically we've had to lock to single threaded mode. Yay!

[1]: https://github.com/clj-python/libpython-clj
Title it "(current star name) Leaked Nudes.zip" and seed a torrent? Every few years, change the title to keep it current.
If someone steals the ownership registry the bank maintains regarding the deposit boxes-- may be the better analogy. Or list of the owner and box number. Clearly this is information the bank controls, not the individual.
Thanks for the information. However I am unconvinced that SCOTUS got this right. I don’t think there should be a free speech exception for obscenity. If no other crime (like against a real child) is committed in creating the content, what makes it different from any other speech?
And have them build with "Pip install ." or python build? With the default setuptools config (or even any tweaks to it)? It works until you actually try to package the app, that's where the edge cases start piling up, a lot of them due to very weird decisions made on a whim on some random discourse thread.

Adding index URLs is explicitly not supported in the requirements.txt in setuptools or the default python build tool.
New forms of life discovered inside human bodies
Show HN
A minimalist work day tracker for shift workers. Clean and simple. Let me know what you think!
How to properly shut down a Linux system
> "Formally verified" means someone has written a correct mathematical proof that the code has no bugs

No, only that it complies with a formal specification. The code will have bugs if and only if the specification has bugs.

The difficulty of writing a bug-free formal specification is just as great as writing bug-free code. In some domains it's easier to write the specification, but not in most. Fully specifying what a program shoud do is often the hardest part of programming, after all.
I know it doesn’t address your concern about the website itself but you can also view the trailer directly on YouTube:

https://youtu.be/i2gPwAsKxCE?si=lx_61nxRWf5kTPN_
Show HN: Hue Logs – A Minimal Log Monitoring Tool
Hey Hackers,

I was building multiple projects lately, and integrating logging was way too much for me.
Managing self hosted ELK stack, or using existing log monitoring services (running their agent was consuming hell of resources on my tiny servers).
It took me a day to code my own logging server, and client for python projects (serving as python packages - pypi), named it HueLogs.

Sharing with you all, please feel free to contribute if you like. I might be adding a npm package for javascript client if I get chance to code tomorrow.

Few features too add:
- 30 min, last day logs etc.
- Beautify UI
- Add steps in README to run it without docker

I am currently using Flask, up for the suggestions to make this lighter. Didn't profile it yet, assuming flask is light.

Cheers!
Harman
Fluid Flow-Based Vibration Energy Harvesters: A Critical Review
LibCello: How are we supposed to pass stuff between functions?
hello so i felt frustrated tring to get this right and i think that it may reach someone who know how how to do it from here.

```c
#include <stdio.h>
#include <stdlib.h>

#include "inc/Cello.h"

struct fast_s {
var string;
var number;
};

void initFast(struct fast_s fast) {
fast->string = $S("Some string"); // $(String, ...) and new(String, ...) also will fails
show(fast->string); // works as expected
fast->number = new(Int, $I(4));
return;
}

int main(int argc, char argp[]) {
struct fast_s *fast = malloc(sizeof(struct fast_s));
initFast(fast);
show(fast->string); // throws an error ValueError
show(fast->number);
free(fast);
return 0;
}
```
It's funny you mention ticket stubs, because I also have a similar collection, and I kind of treasure it. Before my Google tracking my every step, before Twitter, as the years go by, I have some record of what I was doing at exceedingly specific times and dates. It helps to structure my memories a bit more than I'd otherwise be able to. I scanned them all at once (in several pages), and it's sort of a map of my adolescence. I can jump across time. I would be sad to lose it. (Along with the photo of the tickets for my make-shift - and first - double feature of Everything Everywhere/Dr. Strange. Multiverse-themed, doncha know?)
You also need to consider that formal verification is not the be-all/end-all of correctness.

Formal verification is verifying a mathematical model of the program correct, according to certain mathematical correctness properties. That model may not actually represent the real world, or the correctness properties may not actually be the properties that you want to guarantee. Famously, there was the formally verified Java LinkedList implementation that was buggy due to the formal model not taking into account integer overflow.

There are parts of the Rust language and standard library that have been formally verified. That helps provide confidence that the basic model, of having safety properties upheld by unsafe core functions, to be sound.

But the big advantage of Rust, especially for everyday open source code that the world widely depends on, is that it strikes a good balance between a language that people actually want to use, and which can provide good practical safety guarantees.

Rust is far, far safer than C and C++. Most other memory-safe languages also are, but trade that off for lower performance, while Rust provides a similar level of performance as C and C++. And additionally, it's a language that people actually want to use for writing a lot of the core infrastructure.

As far as I know, I have never use any open source software written in Ada/SPARK. People just don't do it. The only reason they generally do is if they need to for functional safety reasons, in a high-criticality system, and they find it easier to get their software certified by writing it that way.

And even in safety critical systems, most people find using a subset of C, with restrictive rules, static checkers to check those, code review, and extensive testing, done by independent teams and testing on real hardware with requirements based tests that achieve 100% coverage at the MC/DC level is considered to be the gold standard of verification.

Formal verification can not possibly provide some of the safety guarantees that testing on real hardware based on actual system level requirements can provide.

Formal verification is one tool in a toolbox. It is useful for providing certain guarantees. But it's less important than many other factors for the actual improvements in safety that Rust can provide; by actually being used, in critical software that is exposed to potential network based exploitation, a memory-safe language like Rust makes a much better foundation than C or C++, and more people will actually use it in such a context than Ada/SPARK.
Now someone please explain him what "singular data point" means.
Loans for phones are very common in the developing world.

Rather than a luxury, they've become an expensive interest bearing necessity for billions of human beings.
Christmas markets are more of a general consumer place than a christian place
Killer probably wanted to go in the most crowded place in town. Could have been Disneyland if it was Paris
Maybe read the History section.
I don't think there's even a plan for a v4. The fallout from 2 to 3 was that bad. So to keep improvements going takes deprecating something several versions before removing, and research is done to find how popular that particular thing is to determine its candidacy for removal. Thus it's best practice to pin all dependencies, and read the release notes before doing a version update.
If others want to moderate why should these complainers get in the way? They are free to not take the job, which obviously involves looking at repulsive content so others don’t have to. Most people don't have a problem with social media existing or moderators having the job of a moderator.
emergent? natural? a 2D surface has two orthogonal directions, so if you're using lines, so your choices are either grid, slanted grid, or godawful mess
I'm at 10 minutes now, for a town of <15k. Render time might depend more on total area than number of lines to draw. Update: gave up after 20min. Something might be wrong with the particular city.
Why was this dead? If anything, Thomas' reputation here should at least entitle him to being heard.
fwiw in modern-Java they have data classes:

record Foo(String theImplementationAndStyleOfDataClasses) {}

The string is final. While sadly there is no elvis operator, the Optional type helps:

evlis.map(e->e.operator).map(e->e.chaining)

I still strongly dislike working in Java but Java 23 is a long way ahead of the Java 6 I first learnt Java with.
Thank you, finally I got a chance to understand this concept, nice writing, nice sketches.
The music industry is at least 10 or 20 times older than the concept of copyright. The traditional business model was always about live performance and patronage, and even today that’s where most musicians’ income comes from. The recordings and radio/streaming play could make money, but it was mostly advertisement for the shows and merch. So functionally, the advertising machine is shifting towards making culture a mere commodity, which is a new thing.

The other thing here is that while it is a continuation of industrialization of artisan work like furniture and textiles, we are finally going into the area of commoditizing the work of the artists. Admittedly the split between artisans and artists only happened recently in the Renaissance, but it’s still a different threshold, where culture itself is mechanized. And instead of asking if it is a good idea to take the humanities out of the hands of humans, the only real consideration will be short-term shareholder value.
Agreed that the flag seems highly dubious here.
Interesting. The best agents don't have agency, or at least don't use it.

You can think of this in video game terms: Players have agency. NPCs are "agencs", but don't have agency. But they're still not just objects in the game - they can move themselves and react to their environment.
Really the only question I have on this post. So many of their non ai updates make me roll my eyes
> The book tells the story of how Meese revolutionized constitutional law in the Department of Justice, and set the stage for the current originalist majority on the Court

"Originalist" as in "let's try to treat this like a religion and interpret the prophets frozen in their ancient time"
The "write like the people who wrote the info you want" pattern absolutely translates across models.
CVE-2024-0044, Android run-as any app vulnerability POC
Lombok is absolutely painless.
Why are link previews a problem? Presumably I only generate previews for links I've vetted.
The craziest Aztec thing is clapping in front of those pyramids
https://www.youtube.com/watch?v=cvC_deZuDDg
> - Coordinate bilingualism: When two languages are learned in different contexts and maintained as separate systems

This has to be extremely rare in today's connected world. For example our kid always went to british colleges while wife and I are native french speakers... but there's always been lots of english at home. We watch all our news and educational vids in english. We had our kid watch TV in english since the beginning (on purpose). So the "english as school / french at home" separation wasn't clear. (technically our kid did learn three languages and she was fluent in spanish for she lived for five years in Spain but then she "lost" it, even though she still understands spanish fine).

I mean: there's this thing that exists now and that is called the Internet and it happens to be quite ubiquitous, even in the third world. So I don't think a kid could ever be only exposed to one language at home, to a second language somewhere else (at school?) and yet parents would have missed the Internet revolution so much that they wouldn't even "compound" both languages at home? Parents stuck in the 18th century if you ask me. Even at a very young age there's already some "homework": it needs to be done, at home, in the language used at school. Youtube vids. AI voice assistants now. These things are simply a reality.

As TFA says anyway: it's even disputed if coordinate and compound distinction even exists at all.
Love it! I did a few cities where I’ve lived and it brings me back.
Yegge’s writing has a pretty sardonic sense of humor. I like it but I’ve seen it put off some folk.
What is Lean FRO?
> Attempt 2: LLM-as-a-judge

Wouldnt this be achievable with a classifier model? Maybe even a combo of getting the embedding and then putting it through a classifier? Kind of like how Gans work.

Edit: I read the article before the comment section, silly me lol
98% of the time, law suits are just a money pit. There is zero publicity. A tiny number go viral. I don't think this is likely to be one of those times.

Most people would simply say "Amazon is right." Because Amazon is right. This is an intentional attempt to leverage their product branding to promote a new product. There is very little good here.

If this were open-source, academic, non-profit, or something like that, perhaps. A small venture trying to commercialize on some digital equivalent of Amazon's trade dress? I can't imagine anyone would care....

Even those times when someone is 100% right, usually, there is zero publicity. Right or wrong, most times I've seen, the small guy would settle with the big guy with the deep legal pockets and move on because litigating is too expensive.

In a situation like this one, your marketing spend / press coverage on the existing name is shot, links to your domain are shot, and perhaps you have an egg on your face, depending on how things play out.
That book is wonderfully unsettling. The ending was perfect.
This is me! Didn’t expect to see this on here, but I’m looking forward to working with everyone else at the Lean FRO and the wider Lean community to help make Lean even better.

My background is in mathematics and I’ve had an interest in interactive theorem provers since before I was ever a professional software engineer, so it’s a bit of a dream come true to be able to pursue this full-time.
What is it about partaking in or witnessing the killing of animals or humans that makes one more connected to reality?
https://lean-fro.org/about/
I guess it depends on what kind of work you do, and perhaps your personality and career goals too, but if I ever found myself working in a place where a simple, factual log of the work I have done was weaponized against me, I'd immediately start looking for a new place to work.
Some seldom used standard modules have been deprecated and later removed. Like recently I revisited a project I initially made using v3.6, but it broke on v3.13 due to an indirect dependency no longer present in the stdlib. It was a simple fix though as a quick search identified the issue and pointed to the removed module in a package on PyPI.
Would be nice to play on mobile.
It seems that this story[1] have made mainstream media. Good job HN!

[1]: https://news.ycombinator.com/item?id=42102506
Do llms struggle with other homonyms?
I think once someone wrote a list (a 1D array), it was pretty inevitable it would turn into a 2D array within a week or a month. But it took what, another 4000 years for people to start writing arrays of 3 dimensions or more? And then within a couple centuries we got tensors, and the arrays are too big to check.
We don’t need to label a conflict as genocide to recognize the urgency of ending it. Armed conflicts, regardless of labels, demand immediate efforts to stop the violence and protect civilians. The focus should be on saving lives, not semantics.

Ending this conflict should start with demanding that Hamas abandon its illegitimate and destructive aims. They must lay down their weapons, release all hostages, and dismantle their oppressive regime. Hamas’s actions and ideology stand in the way of peace for both Palestinian and Israeli civilians
I don't think it's off topic, we're talking about companies spying. Unsourced, maybe, though I suspect Thomas is a reliable enough source.
> I'm not saying I took the right path (I didn't)

Not picking on your personal experience, but if you see it as a mistake, wouldn't it be a sign you weren't mature enough to take the right decision ?

Now, having a kid definitely accelerate that maturing process. But without a solid parental environment (which was common at some point, especially with the grand parents being around) it's a recipe for disaster, I wouldn't see it as an appropriate path for most in this day and age.

I see your point on much of a change it makes to have fewer young adults already being parents. That's definitely impacting.
Probably going to hit the paradox here, where most people are going to request a place where many people live, even though most places are small.

I probably have no chance, living in NYC.
1 Corinthians 15:13-19 (NIV) : “ If there is no resurrection of the dead, then not even Christ has been raised. And if Christ has not been raised, our preaching is useless and so is your faith. More than that, we are then found to be false witnesses about God, for we have testified about God that he raised Christ from the dead. But he did not raise him if in fact the dead are not raised. For if the dead are not raised, then Christ has not been raised either. And if Christ has not been raised, your faith is futile; you are still in your sins. Then those also who have fallen asleep in Christ are lost. If only for this life we have hope in Christ, we are of all people most to be pitied.”

——

There is only one kind of truth. “All truths are God’s truths.”

If Christianity is not true, then it is false. If Christianity and Buddhism strictly contradict each-other, then at most one of them is true.

Christianity is not meant to be a, what, psychological trick? It makes claims, and these claims should be believed if true and disbelieved if false.
My understanding was the FP risk. Everything was on device. People designed images that were FPs of real images.
I came back to school to study hardware after 5 years of doing ML
Not sure how double entry book keeping relates here. Not relevant to tablets, to excel, nor rel dbs.

Is the argument here that single entry bookkeeping is not real accounting?
I often use the term "sum types" for them, since I think it helps explain why they're useful compared to "product" types like structs or objects or tuples. I've heard people refer to them as "algebraic" types, but I don't really like that as a term for them because that feels like it should refer to sum and product types as a categorization rather than one of the categories specifically. Unfortunately, "sum type" doesn't really work super clearly in verbal conversations that often; people often tend to hear it as "some types".
It has nothing to do with the OP. Honestly he always jumps in to do whataboutism on Israel posts. He didn’t say who he was talking about, it doesn’t add and only detracts from the discussion here.
> so much so that I think it makes more sense to think of exploits as subscription services.

I think this makes sense, especially given the uncertainty of when an exploit gets patched.

To my original argument of political power vs valuations you can probably say that having those same people you'd otherwise try to influence on your board with a financial incentive allows you to achieve the same thing, I'm not sure why I didn't consider that before.
Surprised you didnt go into something AI adjacent