skysight-inc/HackerNews huggingface dataset:
IMHO their claim is invalidated by appeal to patents. Patents are a sure fire way to ensure that even the most clever of cryptographic constructions is never used in the real world.

Open is better than closed. Non-patented encumbered is better that encumbered.
I find books like SICP interesting and not very useful. I love reading them because I like this stuff, but I don’t get to apply their teachings in real world software. It’s a problem because naturally I want to spend my time reading these kind of books, but if I do that I would be jobless. I need to divide my time between reading pearls like SICP and boring Kafka/Postgres/Golang/K8s/AWS documentation.
Right, so that's what they claim, that you'll get small reusable pieces.

But:
"Logica compiles to SQL".

With the caveat that it only kind of does, since it seems constrained to three database engines, probably the one they optimise the output to perform well on, one where it usually doesn't matter and one that's kind of mid performance wise anyway.

In light of that quote it's also weird that they mention that they are able to run the SQL they compiled to "in interactive time" on a rather large dataset, which they supposedly already could with SQL.

Arguably I'm not very good with Datalog and have mostly used Prolog, but to me it doesn't look much like a Datalog. Predicates seems to be variadic with named parameters, making variables implicit at the call site so to understand a complex predicate you need to hop away and look at how the composite predicates are defined to understand what they return. Maybe I misunderstand how it works, but at first glance that doesn't look particularly attractive to me.

Can you put arithmetic in the head of clauses in Datalog proper? As far as I can remember, that's not part of the language. To me it isn't obvious what this is supposed to do in this query language.
I hadn't heard of this one before, I'm curious what people think. Will any of the C variants aiming to accomplish memory safety actually pick up enough adoption to be taken seriously? I don't think a 5x slowdown is going to fly, but I find the idea in general pretty interesting.

Ultimately I've picked up Rust and am betting on it long term, but I'd be very curious to hear takes from other people.
Also considering 1400 sq ft (130 sq m) too small to raise a family is peak American... That's bigger than 99.9% of apartments people live in in Europe and raise a family just fine.
Just dropping in to say that The Elements of Programming Style is worth reading three times — and I have read it many more times than that, and benefitted from it. Here's my review (from 2010) if you're interested: https://reprog.wordpress.com/2010/03/06/programming-books-pa...
We’re receiving about 3,000 reports/hour
> We'll need machines able to converse and integrate patient appearance, behaviour etc. as well as humans, and reliably derive the appropriate conclusions from that before we get efficient medical AI

This presupposes the problem of medical records having been solved.
I am not sure that it is an issue with the origination point. In fact I just thought it was my ISP because my daughter's boyfriend was watching and doing facetime with her and my video was dropping but his was not. I have 2gb fiber and we regularly stream five TVs without any issue, so it should not have been a bandwidth issue.
For folks who don’t read article and come to read comments directly.
> What's special about Tesla (or any of the other newer cars with full electrical door opening mechanisms) that makes this not an option?

Cost-cutting, mostly.
Some countries may not require it, though it does seem pretty suspicious to omit that, regardless of what regulatory quirks there are in the world.
Hey HN, what does [flagged] mean? Did I do something wrong when posting this? It's the first time I see it here.
That was my feeling too for the most part, but The run length is a significant source of information and if it enables tokens to be skipped it is essentially gaining performance by working with a smaller but more dense form of the same information. My instinct is that run-length would be just the most basic case of a more generalized method for storing token information to encompass time and area and for the density of information in tokens to be more even, The area and duration being variable but the token stream containing a series of tokens containing similar quantities of semantic data.

I feel like this is very much like the early days of data compression where a few logical but kind of ad-hoc principles are being investigated in advance of a more sophisticated theory that integrates the ideas of what is being attempted, how to identify success, and recognizing pathways that move towards the optimal solution.

These papers are the foundations of that work.
Or teach them? Risk management is something any (and every) engineer should learn
But they must have heard of the obvious word choice: "digit".

This is seems like "word I heard misappropriation".
MOND is an alternative theory of gravity competing with GR. People usually forget that while MOND started to present a different explanation for Dark Matter, it is a theory of gravity. Dark Matter is not a theory of gravity and is compatible with GR.
« Stunning evidence »
… then later on:
« Instead, the readings _seem_ to support a basis for MOND, which _would_ force astronomers and cosmologists to reconsider this alternative and long-controversial theory of gravity. »
What’s conditional evidence? I may be missing the overall picture, but I view such writing as non precise at its best.
Everyone except africans has some non-trivial amount of Neanderthal DNA in them.

According to popular science that is.

https://humanorigins.si.edu/evidence/genetics/ancient-dna-an...).
This is neat, but as a $NET shareholder and someone with another ~$1m in net worth that can't afford to buy a house for at least another 6 years this makes me think we should significantly increase taxation.
The Financial Times article discussed on HN:

https://news.ycombinator.com/item?id=38202885 (22 comments)
Have you seen

"Software Design for Flexibility: How to Avoid Programming Yourself into a Corner"
by Chris Hanson and Gerald Jay Sussman

It's from 2021.
I mean, dark matter may be discoverable, we just don't know how if it exists. There was time between the irregularities that were noticed in the orbit and the discovery of a new planet.
I felt the same way until I came across the ninth point of the OP...which is a sound observation. I think most people who used Twitter at some point experienced an event where the free flowing of information about the event as it unfolded in real-time satisfy their want for information. Especially when the information possessed the informal presentation that traditional media does not typically have.

When you see a photo of Mike Brown's body laying in the street hours after he had been shot with his hands (allegedly) raised I reckon that you may form a lasting impression about the relationship between Black and Blue that will persist long after the official narrative is distributed.

I think people who have experienced this are exhausted. This sort of information exchange that is very serious and very real and very human cannot coexist where information that is not like that is also exchanged (but I may be digressing...).

The Powers That Be™ benefitted by both allowing them to become exhausted and by poisoning the well and making sure that the free discourse is as unsatisfying as possible and later platforms are echo chambers where the people most likely to congregate on platforms of outside importance can be satisfied by their shared dissatisfaction.

And all the cooks in the kitchen exist with the diners of their respective persuasions to cook and serve a meal some say is to die for.
Humans are not Turning machines.
I'm not talking how we work on fundamental level.

I'm saying we don't obey axioms of Turing machine model. So Rice theorem nor Godel theorem can apply to unsafe code written by humans.

Even if borrow checker is limited by the Rice theorem, you can create either safe abstractions provably or unsound abstractions provably or potentially unsound abstractions, which humans can reject or accept.
To me the difference is that in 2012, you had companies focusing on delivering a quality product, whether it made money or not. Today, the economic environment has shifted a lot and companies are trying to increase profits while cutting costs. The result is inevitably a decline in quality. I'm sure that Netflix could deliver a flawless live stream to millions of viewers, but the question is can they do it while making a profit that Wall Street is happy with. Apparently not.
That seems like an apt metaphor for TW, if the guards were the ones who got you into the mess in the first place, of course
In the winter in a normal European/northern US climate, you probably want sunlight streaming into an empty room to reduce the heating bill.

Possibly never in Austin, TX: I am not too privy to the temperatures it gets down to in the winter, though heating was brought up too.
Those are all tools !! Congratulations

If you’re creative enough to figure out different tools for humans, you are creative enough to figure out different tools for LLMs
It’s gone once you’ve done it and know how the magic works
JavaScript dos and donts Mu-An Chiou
Actually, it just needs school, a loving parent and the internet (global village).
There are a lot of tech-bros, who were definitely not the nerds in school and are in tech mostly because of money and prestige.
I believe EUV was licensed to ASML since it came out of a defense department research project. So the US probably does have a say for machines that use EUV.
also, the symbol for apple is AAPL.
So what you are saying ia that the honeymoon is over and Mozilla will try more and more crazy ideas to make a buck out of me?

Now I want ladybird to succeed even more.
https://www.forbes.com/sites/stevebanker/2023/12/18/tesla-ha...
>Artificial intelligence doesn’t just incrementally erode the rights of authors and other creators. These technologies are designed to replace creative workers altogether

I doubt I will ever want to read a novel written by AI or watch a movie created by AI.
Yes, every 4 years the American people get the President they deserve.
Is there a way to push back on the complexity of the web?
I commend your righteous indignation. Made me smile. Flame on!
The quote was about "programming by poking" which I take as highly relevant to actual distributed software. It meant (1) systems are more built by integrating many components, and (2) for many reasons, the components are not understood by the integrator and (3) they must resort to experimentation to validate how things actually work.

Unless you have a TLA+ model of all your components and how they interact, I would argue you don't understand your distributed system either, for all inputs.

https://web.archive.org/web/20160505011527/http://www.poster...
India is an outlier, they are addicted to coal so much so that an entire family tycoon (probably in cohoots with the government) owns coal supply lines.
This is an opinion piece published to the News section of The Guardian. Interesting.

I don't see any how for-profit AI is a threat to anything but for-profit art.

However, I do know that printing opinion pieces as news is definitely a threat to journalism.
I can’t tell if you’re saying his position is invalid, or just that he should wait until it’s too late before saying anything about it.
> One thing that bugs me about the UFO/UAP disclosure folks is that they assume all military secrecy is part of some sort of coverup and not just normal military protocols.

Who? This feels like a straw man argument. I am not aware of anyone who takes such a (ridiculous) position, and I follow this subject fairly closely.

> scientific agency like NASA could be suited for.

That agency was created a couple of years ago. It is called AARO. They just released their FY 2024 report:

https://media.defense.gov/2024/Nov/14/2003583603/-1/-1/0/FY2...
A raytracer and an emacs mode.
It's just typical pop sci journalism, with a click baity headline. Read the paper instead.
I can already hear 50s music playing on a stereo with not enough bass.
They added custom instructions to Apple silicon to more easily emulate x86 behavior (e.g., https://developer.apple.com/documentation/virtualization/acc...). They may have now removed them because their analytics say that Rosetta2 use on new devices is minimal.
Got it, thanks for sharing.

Overly harsh consequences are only fair if detection of the responsible/initiating party is foolproof.
Postmark is owned by Active Campaign, which was included in OPs list, though I'm not sure how the Postmark product differs from the original Active Campaign product.

I've been using Postmark for hobby projects for the past three years, and I've been happy with them, but my needs are super minimal - just sending out <100 emails per month programmatically where latency doesn't matter.
Ok. I read it without paying attention. Sorry. I got lost in the translation.
I once used an old Mac OS X in order to extract a Cisco AnyConnect certificate from Keychain that wasn't possible to extract in any other way.

https://reverseengineering.stackexchange.com/questions/6043/...

I've first tried recompiling the Keychain app, but it had too many dependencies that were not trivial to build, so, using an older Mac, in that case, was the easiest way to get the private key from my own keychain.
Looks like the same mission as:

* https://www.codeshelter.co/

* https://up-for-grabs.net/

* https://www.codetriage.com/ (mentioned in these comments)

I seem to recall yet another one, maybe with a name that invoked a traveling group of helpers who would jump into projects briefly to fix them up?

On a related note, it would be cool if there was a way to leave a hobo sign equivalent if you find a project that is well-run and easy to contribute to. If the build and tests Just Work, etc., we should praise that project in a way that
1) encourages helpers to pick it since they'll have a good experience, and
2) provides a good example for other projects to follow.
What are the prerequisites for the topics covered in this book? I feel like the lecture list is hard to understand, maybe sort of like the book’s TOC.
> is a little unnerving

Why so? You were lucky! You had a low probability for the diagnosis, but the doc made the right decision. That's to be celebrated.

> did not qualify for a study on heart attack risk because she was only 39.

Criteria for studies are designed to test a specific hypothesis. There are many possible reasons why your sister was not eligible, and not all of them bad.
Yea. It’s called social dynamics and plays out in pretty much any situation.

Please don’t think I’m a fan of the people at play here, I’m not. But it’s pretty standard stuff.
If this is how you want to compile to SQL, why not invent your own DCG with Prolog proper?

It should be easy enough if you're somewhat fluent in both languages, and has the perk of not being some Python thing at a megacorp famous for killing its projects.
I’ve been using vyvx since it was called global crossing/genesis, it was fairly unique when it started, but point to point ip distributon of programs has been the norm for at least 15 years. Still have backup paths on major events on a different technology, you’d be surprised how common a dual failure on two paths can be. For example output from the euro football this summer my mai paths were on a couple of leased lines with -7, but still had a backup on some local internet into a different city just incase there was a meltdown of the main providers network (it’s happened before with ipath, automation is great until it isn’t)
> What’s HN’s take

Usually when UAP-related news items like this make
it to the HN front page they don’t last very long. If this lasts even two hours I’ll be (pleasantly) surprised.

Most HN readers, it seems, feel the subject to be abjectly ridiculous and downvote accordingly.
AI is just a stochastic parrot?
That doesn't address why I'm shallow for describing my lived experience, or my extreme privilege because I'm someone who has access to, and has used Doordash. If you don't use their platform then the delivery people on that platform aren't getting jobs and aren't getting paid. If you want to help them, tip them 50% in cash.

There is no ethical consumption under capitalism, unfortunately, and we all take our stand where we choose to. I could afford a better phone, but since smarphones have matured, I chose to buy refurbished phones because of the slavery inherent in their creation. Buying refurbished phones minimizes that as best I can while not giving up modern conveniences. Similarly, I'm happy to use a restaurant's app/website instead of Doordash when there is one, but one of my favorite restaurants is only on doordash (Ben's Fast Food, which is delicious healthy food with lots of greens, they just have a terrible name).
For starters, it's a generic choice that's likely similar to what many used in school computer labs. No bikeshedding over which type of switches to get; that can be a very taste-specific choice. I might have missed it but wonder if there are any house rules against bringing your own mouse/keyboard.

Edit: kentonv replied answered before I hit submit. BYOK/M if you want, nice.
I've come to think zero tolerance policies are universally bad.

Some tolerance and considering circumstances is actually the sensible way to handle most anything. But that sounds like being "soft on crime", and the PR side is usually more important than the actual problem.
Small sample size for polar bears in this study but it has been found to be effective.

https://www.bearwise.org/wp-content/uploads/2017/07/efficacy...

With a guns you might need one or more well placed shots, and if you're not trained and proficient, that will be almost impossible if you find yourself in a situation where a bear is charging at you. Pepper spray can be a lot easier to spray in a bear's face in such a situation.

Might be best to have both spray and a gun handy, though.
I made some quick notes that I'll fill out on this here https://wiki.roshangeorge.dev/index.php/IVF#The_Cost

It cost us about $25k for a cycle to extract and $12.5k to sequence all. Then implantation costs a bit more, but I'm still getting that information. We paid a while ago, and I don't recall off the top of my head.
I did my PhD on trying to use ML for EDA (de novo design/topology generation, because deepmind was doing placement and I was not gonna compete with them as a single EE grad who self taught ML/optimization theory during the PhD).

In my opinion, part of the problem i that training data is scarce (real world designs are literally called "IP" in the industry after all...), but more than that, circuit design is basically program synthesis, which means it's _hard_. Even if you try to be clever, dealing with graphs and designing discrete objects involves many APX-hard/APX-complete problems, which is _FUN_ on the one had, but also means it's tricky to just scale through, if the object you are trying to do is a design that can cost millions if there's a bug...
As far as I can can tell though the core idea is the same, to focus on the differences, the implementation is different. Differential transformers 'calculates attention scores as the difference between two separate softmax attention maps'. So they must process the redundant areas. This removes them altogether, which would significantly reduce compute. Very neat idea.

However, I do think that background information can sometimes be important. I reckon a mild improvement on this model would be to leave the background in the first frame, and perhaps every x frames, so that the model gets better context cues. This would also more accurately replicate video compression.
It is a tad strange to see something poorly-reasoned and jump to “maybe that’s just something that everybody in an entire country does”.

People from countries other than America can start with a thesis and then mention that thesis in the body of an essay.
Amazing setup, thanks for the write-up! My dream house if I was rich would have a LAN party room like this (plus a mini fridge stocked with Bawls Guarana). Stretch goal would be a movie theater like Brandon Sanderson has in his lair.
I hadn't, that looks excellent.
Where do you buy these different varieties?
> I miss the old MX518.

Truely the peak of mouse design.
Well, it’s evidence that a) must be verified on a mathematical and empirical level, and b) (arguably) fits better with a currently unpopular theory than the dominant one. There’s so many unknowns in physics that opponents can easily reply “well your theory doesn’t explain XYZ yet, so we likely just need to tweak our theory”.

In other words, reasonable minds do disagree. AFAIU as an amateur.
Agent Use Cases in Production
I am interested what actual production use cases people are using agents for and ideally charging or.

Specifically, handling advanced actions that require tool use or strong reasoning.
Author Christopher Paolini talks about Keyboards
How exactly am I not using my toolchain correctly? What's the "correct" way?
It might depend on whether you know it has AI in it or not.
Talk to potential customers and not the HH void. It's harsh but asking the wrong people (not customer), who don't want to hurt your feelings, doesn't offer anything.
LinkedIn has a lot of garbage
Did you email them to ask for it? What sort of meta-analysis do you intend to do with their data? Have you released other interesting work in this field that would benefit the post? Why weren’t your intentions for their model published in your comment? What can we do to denormalize rhetoric in forum discussions?
how much did it cost to start up your farm?
> A followup article on deliverability would be helpful as many people seem to only have a surface level understanding of the difficulties of deliverability.

How about never. Is never good for you?
Thanks, I will.
https://iopscience.iop.org/article/10.3847/1538-4357/ad834d
It is not only about FAANG though. owadays every tiny fart of a company feels entitled to have a hiring process like that and not pay FAANG salaries.
This is amazing. In today's world, I'm not sure what's more prohibitive though. Finding 20 friends who play video games and would be into LAN parties or being able to pay for this kind of setup.
> Why are you comparing renaming a file inside a directory picked or created by the user to robbers picking a pocket?

I didn't.

Bye.
Just hope everyone takes a moment to consider: are the customer noncompete clauses at OpenAI, XAI, Anthropic, and Microsoft hypocritical?

If they learn from us, and we’re not allowed to learn from them, how is that good for safety? How much does that silo safety information?

Yes, I realize many folks just blow it off, and many more are normies who don’t know or care, but doesn’t it seem wrong to learn from humanity while telling humanity they can’t learn from you?

Thankful we have open AI models from Meta and Alibaba!
SICP helped me understand early on that there were many models of programming, even though I'd learned a limited number in my undergraduate. It was one of the books that helped me feel equipped to read the docs of any language, library or framework and have some notion of how to orient myself.
Stabilization appears to be a subset of a literally wider, but more rewarding, challenge: reconstructing the whole area that is scanned by the camera. It could be better to work on that challenge, not on simple stabilization.

That's similar to how the human visual system 'paints' a coherent scene from a quite narrow field of high-resolution view, with educated guesses and assumptions
No, this presupposes that the machine won't interact solely with the medical record, but mostly directly with the patient. At least, that's my understanding. In this view, medical records won't be just text records anymore, but records of the whole system 'sensorium' for lack of a better term.
But AARO is still in the department of defense. We need an agency that has nothing to do with the military