skysight-inc/HackerNews huggingface dataset:
I'm confused, you had the exact same idea that LLM output is based on probability of next token, which is based on the training data?

If that's the case, no, its unlikely this result will end up becoming evidence, that is well known and fundamental.

The author's contribution to discussion is showing this to a technical audience writing their own GPT, as they note, most "how to implement this?" focus on transformers
I really like the idea of canonical maps/morphisms. The idea is that there exists one and only one possible implementation of a given type transformation. For code constructed of canonical morphisms, the compiler can prove correctness.

As an example, there are infinitely many maps from u32 -> u32. But only one map from Minutes -> Seconds. If you use u32 for your times, you need to rely on tests for confidence you have the right math. But if you use Minutes and Seconds, you can rely on the compiler to prove correctness.
> All the crackers and modders of the 80s and 90s would disagree. There was no expectation of access to any source code, yet people modified software in more ways than ever. You only needed a hex editor and debugger. PC magazines would even publish binary patches of the form "change byte in foo.exe from 3F to 9A".

That typically let you unlock otherwise locked or hidden features.

I'd like to see anyone add support for a new MIDI control surface in Ardour just using a byte editor.
That link is strangely misleading for a medical authority. Yes, the prefrontal cortex is underdeveloped in youth, but saying its responsible for rational decision making is wrong - our current knowledge is that it handles long-term decision making and impulse regulation. While children generally are fundamentally more impulsive than adults, rationality and impulsivity aren't inversely related. For example, dogmatic thinking is a very common form of non-impulsive, attentive, yet irrational decision making.

And yes, children obviously are inexperienced. It takes ALOT of sensory data to achieve general intelligence, and gathering that data (or what the kids these days call "touching grass") simply takes alot of time.
I personally expect anyone asking for sacrifices, to make even bigger sacrifices themselves. And those that actually impact their quality of live. Like if you want to ban meat, you should be ready to get rid of things like coffee or large selections of fruits and vegetables.
Most people I know tend to go about their business with some sort of bag on them.
So may fix the Federal corruption first? Also, LA is also known for corruption:

https://www.latimes.com/california/story/2022-10-14/a-guide-...

LA has standing to act and file a suit to do that if they have evidence of corruption.
> Techies just love to build and configure things to their liking.

I don't, and I don't believe I'm even in the minority in that regard. What you are referencing is a stereotype that may reflect a minority of so called "techies", but even those are almost certainly only interested in building and configuring things within some specific field of interest, but still want everything outside of that to "just work".

> The rest of us have things to do, and would just rather buy the functionality they need in a ready-to-go and easy-to-use form.

A false dichotomy that is often repeated, but incorrect nevertheless, for it is the proprietary ecosystem that keeps breaking things over and over again, changing UIs, features, and even very basic settings you've set, dropping support for various things (apps, devices, etc.) you might still use and that still work fine.

My linux installations have made everything work directly out of the box (unlike some properietary systems where you have to install things and fiddle with settings to make things work) and have stayed almost identical in terms of their UI and already-existing features for a decade now (and could have for quite a bit longer if I had adopted linux earlier). No properietary system could come even close to this level of "just works"-ness (though apple probably gets far closer than the others).
Assuming the trope you mention is common these days (I don't think it is, but sure, let's run with it), perhaps part of the reason for it is the wedge that the working day pushes between the breadwinner and the rest of the family. And perhaps that breadwinner would have a better relationship with spouse and kids if there was a little less work and a little more family time.

Either way, if you don't work and get bored, that's on you. There are so many exciting things to do in our world (many of them low-cost or free, even), that there's no excuse for being bored, except, perhaps, for laziness or a lack of imagination.
Exactly. If the order of your includes matters, you screwed up. Run "Include What You Use", fix the errors.
I might just be naive, or you and I worked at places where different practices were implemented, but...

...should a DBA really SSH into the machine and run arbitrary schema changes willy-nilly?

In my ideal workflow, the database admin should write a migration script, open a PR, get it reviewed and merged, released to a staging environment via CI/CD, and when nothing blows up, a CI/CD process should run the schema changes on production.

At any point, you can track down how your database schema looks like, and nowhere in the process I need to worry about the unfortunate case of "oh, yeah, that table, yeah that table looks completely different because Tom was firefighting yesterday night, we have no idea what he did or when, but hopefully we didn't lose any data".

In the environment that I described, sqlx fits in perfectly

(and the DBA would probably get a good talking to for goofing around on live systems in ways that leaves the whole team in the dark, but that's a different issue)
What are you talking about? ASP .Net Framework versus Core is completely different. Not just rewritten the API is totally changed as well. Many libraries were completely removed - WebForms, OData 3, the entire bundling infrastructure, etc.. How requests are handled, and how you pre/post process requests is completely changed as well.

Their documentation even says, "Updating an app from ASP.NET Framework to ASP.NET Core is non-trivial for the majority of production apps" Even that is an understatement.
https://learn.microsoft.com/en-us/aspnet/core/migration/inc/...
Is it not possible to just update glibc ?

https://sourceware.org/glibc/sources.html
Wanted to say congrats on launching! I'm building a search engine myself, I can tell a lot of work went into this.

I think the biggest thing you overlooked are page titles. When you issue a query it's a bit hard to quickly scan and judge what a site is about because the page titles are missing.
Autism will end up being torn into independent diagnosis of correlated traits. There's no underlying nexus between the list of symptoms beyond statistical correlation.

High IQ? ADHD? Bipolar? Eye sensitivity? Loneliness? It seems little is in common beyond correlations.
Not only that, but also claiming that Rust is somehow superior to other statically-typed languages in this regard. I think functional programming language like Haskell, F#, etc. deserve more of the credit here.
Let's look at this the other way, everyone gets a 20 % wage cut and we maintain current prices. On the one hand we would have additional demand for labor to do the 20 % of work, on the other hand we would have a 20 % drop in demand, so there might not even be a demand for additional labor pulling wages up. I would expect a relativ shift towards essential goods but I do not see how this could incentivize more automation.
> I can tell you that sometimes there is no pattern!

As an autist: you don't see the patterns that you've disrupted. We don't talk about most of our problems.

Often it can be something like: "3 days ago, you forgot to mention ahead of time that you were going to the store. As a result, everything has been stressful and I responded badly to things that normally would've been below the alarm threshold."

Generally I find that 3 days is about how long oneshot disruptions cause problems, though this is tapering. 1 day is usually enough for my coping strategies to kick in and mitigate the worst at least. Of course, ongoing problems or unrelated but coincident problems can stretch it longer.
can I fax that in JAB Code? (https://en.wikipedia.org/wiki/JAB_Code)
Thank you, I appreciate it. Luckily my machine is not under recall and was produced in March of 2023
Do people really need the things they drink with straws?

There’s two ways I generally think of this:

1) who knows what is actually essential. I can’t judge what others truly need and don’t know of an objective board who can. Is art necessary? Is coke necessary? Are luxury vehicles necessary?

2) people choose what’s needed by buying them and prioritizing their money toward it. So by existing and being purchased that’s proof enough of necessity.

I’m sure as hell not carrying and keeping clean a collapsible metal straw on the off chance that I’ll want to drink a drink one day. It seems like the mental stress of that would outweigh the negative impact of a thousand plastic straws (not to mention the energy spent to create the collapsible metal straw in the first place). It’s important to keep in mind all the tradeoffs and not to create negative overall effects from the aim of improving only environmental effects.
https://www.youtube.com/watch?v=RCCigccBzIU
Historically, it's generally been cheaper and easier to have two chips than to persuade a consumer or server OS to provide reliable time guarantees.
As someone who really enjoys formal proofs and loves playing with the tools used for it (and seeing the huge progress being made there), I have to strongly disagree with this framing.

The reason why people don't use proofs in software development isn't (at least in my experience) because they're delusional about whether that's possible, or even delusional about how hard it is to do in practice. The reason is that it currently still is hard and not worth the effort for >99% of software.

In terms of "complete proof of correctness", you first have to know exactly what you want the software to do. Even completely specifying what you want your software to do in all edge cases isn't worth the effort for most software, let alone implementing it, let alone proving correctness. You don't just "reject" software with edge cases, that's almost all software.

Even if you're looking at proving less ambitious properties than semantic correctness (e.g. memory safety), you can see how much pushback there is against something like Rust. People deny that memory safety is important, complain that the price to pay is too high, complain that the goal isn't really 100% achieved, complain that it compromises something else (performance, simplicity, interoperability, backward-compatibility) to even the slightest degree...

So yes, I agree that formal proofs for software have a role to play and that role will likely increase (although it may not if most software ir replaced by trained black boxes). However, it's not straightforward to say it's "underutilized", and even if it is, it's not due to people reading too much into the halting problem.
That could change, though. The tax code could have a carve-out that says use of a private plane can't be counted as an ordinary business expense (or cap it at some amount, or some percentage of the cost).
Previous discussion: https://news.ycombinator.com/item?id=39203106
https://www.youtube.com/watch?v=mLEOZO1GwVc
Show HN: A NextJS Boilerplate for Firebase / Stripe
Hey HN,

I made a new years resolution for 2024 to try and ship atleast one small, niche SaaS app per month.

I realized pretty quickly that my preferred tech stack

- NextJS
- Firebase
- Stripe
- Mixpanel

has a lot of annoying setup steps that could be made easier.

Fast forward to now, and my February project is FireSaas, an open-source repo with a basic boilerplate template for a NextJS project with Firebase for auth / db, Mixpanel for analytics and Stripe for payments.

I wrote in depth documentation for how to use it on the firesaas site.

It's obviously free to use, but if you do make something I would appreciate a twitter dm telling me about it! I want to put together a showcase soon once some apps are built.

I hope this will be as helpful for you as it was for me.

- Ronald
Hopefully get a divorce and let their wife find a better husband.
You mean double superlatives?
In the DAW space, Reaper's success would suggest that the gulf is nowhere nearly as wide as you suggest. This is a supremely "nerdy" DAW, and yet has found great rates of adoption and publicity (partly thanks to its enormously energetic user community).

One of things that is easy to forget if you're not in this world all day every day is that audio engineering was already a pretty nerdy activity before DAWs came along, so the move to computer-based workflows doesn't really change the fundamental psychological qualities of a lot of the process.
The biggest problem with these bans is that "single use" bags almost never are. Everyone I know reuses them for various things, and not just as bags.

The case against plastic bags is straightforward. Plastic pollution kills at least 100,000 marine mammals and 1 million seabirds every year and entanglement in plastic and other types of litter kills roughly 1,000 turtles per year.

That's something for littering laws to deal with.
> Secondly, instead of "a couple of bills" you have to carry... a single card. Wow. So much hassle.

In case I’d get robbed, I would only loose a couple of bucks vs losing my debit card (which does not require PIN until a limit). I live in a bas neighborhood, so walking outside when it’s dark side is not fun. So having no valuables on me feels good.

> Yeah I have more sympathy with this but my feeling is vendors prefer cashless even with the fees - at least debit card fees (~0.5%), maybe not credit card fees - because cash isn't free.

I have the totally opposite experience, most small shop owners I’ve spoken to have often asked me if I had cash instead of card, some would even give better deals and include free fries If I had cash in me, it’s on that level and one if the reasons why I often prefer cash now. I actually had a discussion regarding this with my local barbershop and he told me how much he hates people who pay with cars because of those fees he has to pay.

I had no idea about CBDC, had to look it up. It’s an interesting concept.
How can we say "consumers will pay a bit more and shareholders will see lower returns"? We just went through an episode of tight labor and it resulted in high inflation in the US and companies recorded blockbuster profits by pursuing a price over volume strategy.

Of course, it also coincided with a supply chain shock but we ought to be honest that we cannot guarantee a tight labor market will result in Americans being materially better off.
Why can’t this woman have her ovaries removed?
Not unless you smoke it I guess.

I haven't tried but I would do it given the choice. Eating cat would be more problematic for me though.
I’m not passionate about straws. I’m just passionate about stupidity and critical thinking.

It seems odd to me that someone would question whether straws are essential, but have no problem with vacations.

I also am offended when people expressing any interest are deflected into “why don’t care about this so much?” It’s not important how passionate GP is about straws. Address the content of their message, not whether they are super interested in a topic or not.
I didn't read GEB. But I watched this

https://www.youtube.com/watch?v=92WHN-pAFCs

And it's an absolutely brilliant - and very direct - exposition of Alan Turing's Halting theorem.

(unfortunately I can't find analogues of this for many other related subjects)

Some people are saying that GEB is too convoluted, but the base material absolutely doesn't need to be.
The design problem is more complex than you are portraying. I don’t need my house to last for 200 years if it comes at the cost of not being able to modify it (walls, windows, openings, floor plan) as infrastructure needs change.

Do you notice the awkward protruding wall plug, seemingly used by the lamp, on the photo you linked? It doesn’t have to be that way - I have put a receptacle or switch in to the perfect spot as a one day project many times, and we have reworked wall layout in several places.

And, the photo looks like it has single pane windows with snow outside? They might not have had functional multi pane windows when the home was built?

Needs and technical capabilities change, and a design that is less committed to mass walls has important flexibility.
Book Review: 'Who Owns This Sentence?' By David Bellos and Alexandre Montagu
How do you determine the required permeability of the core material?
Every book about the nature of consciousness has problems. It's not a solved problem. For me it wasn't the details but just laying out the landscape and I could see how to get there from here, if that makes sense.
I stopped coding in Swift about 3 years ago, and SwiftUI was green then, too. I don't expect it to become much better soon.

Not much comes to mind right now in terms of libraries, I just remember constantly thinking that on the Web it is just an "npm install" away, while in Swift I would just have to code it up myself. UIKit is powerful, of course, but just requires too much ceremony most of the time. And SwiftUI is just not reliable. Writing wrappers for C libraries is not my thing, thinking about all implications of different memory models etc. is exhausting, and I'd rather not waste my time on low-level stuff like that if it can be avoided.

Mostly I am thinking about how easy it is to do UI stuff in React, it's much simpler and quicker. The ceremony that XCode and UIKit require are exhausting, as well. Why exactly do I have to give 100 different icons via drag'n'drop for my app? Funny, the Electron app only requires one icon, and I just place it in the right path.

What's a PITA in JavaScript is the commonjs / ecmascript modules mess, but I have a standard template now for coding up a module so that it works for both, and since then I much prefer npm over the Swift package manager, as well.

Coding in the Apple ecosystem just feels sluggish to me now. It feels like the equivalent of a luxury prison. Being able to access things like general compute shaders via Metal is the only thing I miss, but I think via WebGPU this will be fixed soon enough, and in a cross-platform way at that. Just like Electron runs everywhere, not just on my Mac. So what if it is 200MB large compared to a few kilobytes? That doesn't really matter. That's a one time price you pay, and it is well worth it.
This metric is the only one that matters and it’s completely sailed over in the article to instead support their point
Rather cathastrophic.

"Some experts caution that these tools can never substitute for the judgment clinicians hone through years of experience — but should instead augment it"...

Good luck with that. Tools can't have responsibility. (Bad for customers, good for organizations)

Elaborating: What % of autist people kills someone out of aggressive behavior? I am quite sure we don't know, because, I suspect, it is low. Compare that to the general population.

The only reason they want to put tracking devices on autists is because. unlike healthy people, autists can't fight back.

Once the technology is mature, you try to enforce it on (sell it to) exconvicts, immigrants and jaywalkers.
And to this I want to quote the first comment of this thread https://news.ycombinator.com/item?id=17461506 "Why I Don't Love Gödel, Escher, Bach"

> stuntkite on July 5, 2018 | flag| favorite | next [–]

> I'd owned this book for many years and had a similar experience to OP. But one day someone gave me I am a Strange Loop, which I started reading and enjoyed way more. After getting in a little bit Hofstadter makes some apologies for GEB saying it was the sum of work of a very young person. I think he was 24? I think it's pretty incredible considering his age. The things that lead him to thinking critically about consciousness because of his disabled sister I found to be something that changed not only how I interacted with people that were differently abled, but also changed how I saw my own disabilities. Sure it's more than a bit full of itself, but I can't for the life of me think how I would edit it any differently. It's honest from the place he was standing. With a lot of thought, a desire to share, and a perspective that no one else could just stumble on. IMO, it really does kind of have to be what it is.

> So, I decided to put down IAASL and try to really get through GEB first.. like for real this time... and found an Open Courseware[0] on the book to follow hoping that would help me really cut through it. It did! The trick that did it for me was the prof's suggestion that you just skip the first 300 or so pages and he picked up from there.

> I'd thumbed through it and much like op had "looked" at every page, but once I skipped the first 300 and followed along with the course, it was like butter. There is something funny about all the intro dialogs that can fatigue by the time you get to the meat.

> That said, I really enjoyed his reflection on GEB in IAASL and enjoyed the read of IAASL a lot more. Regardless of what you think about what Hofstadter proposes, I think his contribution to critical exploration of the consciousness is artful and invaluable. I think it's fun, compassionate, and beautiful, and it really changed how I see myself and my environment.

> It sticks with me and I think about it a lot and it makes me happy to share it with people.

> [0] https://ocw.mit.edu/high-school/humanities-and-social-scienc...
You mean Texas lol. 30 years in SF and there’s been a couple blackouts during the summer for a n hour or 2.
The answer is foldable shopping bags. Any intelligent person that regularly go to stores during lunch breaks or when commuting is either always carrying a backpack or a small foldable shopping bag. There are many folding bag designs that fit into your pants backpocket.

I have no car and I very rarely leave home with either a foldable bag, a backpack, a drawstring bag and when I don't have one of those that is usually because I am using my bicycle which is equipped with a basket and panniers on the rear rack, or my motorbike with its top case.
I've been surprised by conversations with otherwise "good, liberal" people who freak out and start protesting offshore wind when it's near their beach condo. They barely have arguments. I think it's just a knee-jerk "reeeeee" against any (however erroneously perceived) threat to their property value.

And it's not just my own personal anecdotes. Remember Cape Wind, off Martha's Vineyard? Which was supposed to happen like a decade ago? It was blocked by an unholy alliance of the Koch brothers ("of course", but wait for it) -- and the Kennedy family.

So it has become clear to me that everyone is just completely full of shit.

I do have some small hope for grass-roots stuff at the bottom though. If I can buy some solar panels and a power station and with that investment free myself from electricity bills, or allow myself to live on cheaper land where power lines don't run -- if I can GTFO of the rat race -- and if other people are doing the same -- then I will at least be generating my own power, and they theirs. Maybe you can't sell rich people on renewables -- "it'll ruin the view" -- but you can sell some ordinary people on their own freedom.
Netflix: Piracy is difficult to compete against and growing rapidly
Every country has littering laws, and they don’t work.
If they want to do business like in the 21st century they can invest in 21st century security and polices. Otherwise get on the darn plane and do it 1970s style