skysight-inc/HackerNews huggingface dataset:
I have not said there is no value in LLMs, quite the contrary.

What I'm warning is against thinking of them as independent agents with their own minds, because they don't work like that at all, so you'd be anthropomorphising them.

These models certainly have a compilation of knowledge, but it is statistical knowledge - in the same way as a book of logarithms has lots of mathematical knowledge, but you wouldn't say that the book 'knows logarithms'. The compilation contains statistical 'truths' about the topics on which it has been trained; and contrary to a written book, that knowledge can be used operationally to build new information.

Yet that static knowledge does not reach the point of having a will of its own; there is nothing in the content generation system that makes it take decisions or establish its own objectives from its statistical tables of compiled knowledge.
The Roc language uses it too and shows similar performance. It's not magic though, it just takes advantage of RC for various optimizations (like "Functional But In Place") which add up and compensate for the added burden of ref count manipulation.
How to setup a local network cache for Flatpak
I haven’t been this shocked and surprised since the sun rose from the east this morning. What a completely unexpected, massive plot twist
Sure you checking the right build? Production builds are usually much smaller in size than debug builds. I had a complicated app that was only 20 MB in production, but like 300 MB in debug.
Exactly. Even if we assumed for the sake of argument that wifi cards have complete access to the system, that in and of itself does not excuse CPU vendors to broaden the attack surface and prevent owners from narrowing it back down.

I can't wait for riscv systems to take off. Hopefully we'll get more than the two horrible choices we have now and, hopefully, they won't be able to abuse the market in the same way.

Screw both intel and amd for deliberately putting us all at risk.
They still stamp at European borders? I thought everything would be e-gate by now.
Posthumously, rather than post-humorously.

As you note, many take a rather dim view of the practice (and it is very much not coming from a good place).
I’m struggling to see how this is cleaner and easier to read than JSX.

JSX resembles web technologies, it “smells and looks like” HTML and JavaScript. It’s easy to pick up and read. If you know HTML and JavaScript, onboarding to React isn’t bad.

However, this framework looks like an abomination for real world usage. It’s in WASM, written in Rust (!?). It doesn’t resemble any sort of web technology other than the tag names. How do you onboard a frontend team to this?

Perhaps to rust-aceans, this makes sense. Is there something I’m not seeing here?
Also - good luck getting in the US again
You can divide partial sums first and then take the limit at infinity instead summing first and then dividing.

Not sure how much that helps with "infinite triangle" with two 90deg and one 0deg angles.

That's btw how you get sin90=1 which doesn't have any geometrical sense when we consider finite triangles.

Or in case of triangle with 45, 45, 90 maybe you could just pick different angle than 90 to be 2alpha.
Conmen latch on to every trend. Figuring out who they are is probably the primary reason we evolved intelligence.
The only reason why Dart didn't die was Ad Words team, they had just migrated from GWT into AngularDart when the whole thing imploded, so they rescued the Dart project as it was easier than yet another rewrite into something else.
There are two APIs in iOS for the photo browser, the API where the app gets access to your photos so it can draw the list view of “all the pictures” is gated with the permission.

The newer API that pops up a system control that lets you select a photo (or more) and only then if you select one, it returns that picture (only) to the application, that API does not need permission, because unless you select a photo, the app does not have access to anything.
It's nice to have somebody to love, and to be loved by somebody.

But you don't really need it. And being alone is better than be in company of toxic people. A surprisingly amount of people are toxic to have around. Being alone and feeling lonely are entirely different things anyway.

And life being meaningless is not really a bad thing, maybe it depends on how a person faces its meaninglessness. I happen to cherish it. I enjoy my meaningless moments.
Show HN: Shell-maker, a maker of Emacs shells
AdWords kept it alive until it got chosen by Flutter.
4 hours as of this comment and nobody has mentioned the real reason (accessibility) that tables were ditched for CSS?

I'm getting fuck old...

(I like table layouts, now git off mah lawn ya green youngins.)
We went through immigration four weeks ago and didn't get a stamp in the passport either.
The world needs such facility for processing doctors' doodles, or to start teaching handwriting in medical universities.
I thought paper was deprecated?
In the future, possibly. As of now, my finances are rather tight, furnishing a new house from scratch is expensive.
I feel much happier writing functional code than OOP code...

And I don't believe much in engineers believing in the company's mission. That is an HR delusion, in my opinion. Yes, of course, some buy-in is good, even ideal, especially later on. But really. At some point, you want a job, you want to get paid, you want it to be somewhat meaningful, but how many choices do you have? I don't have a lot of choices of companies that want me, so I don't much care about the topics I work on. Unfortunately companies care a lot about what they think I want to work on, and they deduce it from facts in my CV I am legally obliged to disclose.
I never thought of that.

Digital has lots of advantages. You can have it with you at all times on your phone. You can use text to speech. You can export your highlights. Soon, people are going to want to ask ChatGPT about content from books they read, as well as highlights and comments they added.

A physical copy is the worst format that I would personally consider buying. I only do that when I cannot get a digital version. And the first thing I do once I get it is that I cut off the spine and run it through my scanner.

(Then, I spend hours researching the internet for a good e-ink reader :-D)
SSG is a static website?
> How far back do you have to go in time to get to people actually having time to themselves and walk (15+min) to get most places?

I'll say this is my now in London. Like, sure I'll get the tube when it's gonna take me more than an hour to walk somewhere, but basically everything I need day-to-day is within 10-minutes walk.
This reminds me it was only five months ago a client sent a bug report about our software's e-mail notifications having broken layout. Turns out they were still using Outlook 2010, which only implements HTML 2.1 or some ancient standard that wasn't even HTML 4.01. We also learned that styling only applies to <table> elements, not <div> elements. So we re-wrote all <div>s to <table>s, but layout was still subtly broken. Eventually we decided it wasn't worth the hassle to consider an increasingly niche e-mail client that couldn't even bother to implement an HTML specification from 1999.
By the same strech that they pushed PNaCL that others refused to adopt.

Which is ironic, given the fizzling market share from Firefox, and how with exception of Safari, all other browsers are based on Chrome.

So there is a certain irony that WASM is anyway driven by Google interests.
This is also why I like the sed syntax, that allows you to pick any delimiter, though escapes are still \ for regexes.
It's probably easy to overlook the fixed, standing charge on a UK electricity bill as it's fairly small, around £10/month.

There are a few tariffs without a standing charge, but I think that would be useful mostly for a holiday home, second home etc.
Same with Rust's smallvec crate.
Fully agree, this is a great book.

Also need a 2nd edition of "Professional Linux Kernel Architecture" by Wolgang Mauerer.
I imagine this is a problem when you're trying to leave the country to go back home, and they're asking you why you're not showing up as having entered the country...
Yes - the Schengen area is supposed to be one common immigration (for the purposes of short-term visits at least) area, but to say that there were differences in the approaches to the integrity of checks at the different national entry points would be putting it mildly.

Of course - if a border officer makes a mistake at one, such as in your case, it is naturally your fault for not ensuring that the correct procedure was followed.
Happy Easter, may your celebration of Resurrection Day be filled with joy and good company.
Simple GC's such as this are utterly useless. For such slow stop-the-world GC's use the Boehm-Weiser libgc and nothing else.

And for a proper compacting GC there are many options, best being ravenbrook's MPS, but these require lot of source code adaptions.
There's probably an electronic (I94) record.
Here is the thing, for most forms over data applications mobile Web works just fine, PWA or not.

When I returned to Web/Cloud development a couple of years ago, all the applications use Web frontends, and the tablet / smartphone users manage just fine, no need to package Web sites as "native" applications.

Naturally there are a couple of exceptions, like games.
The only thing I can think of when I read posts like that is the early days when crypto started to take off.

Its near the peak of the hype, but not quite there yet.

People may make drastic life changes due to AI soon. People will keep claiming its the future, and everyone else is just blind. It'll be compared to the industrial revolution (or similar).

It may take a while, and AI will always be around in products, but the hype will die down, and it'll be just another piece of tech. And all these silly hype people, with there "INSANE CRAZY THINGS IN AI THIS WEEK!!! TRULY CRAZY!" will move on to the next well-marketed mediocre tech idea.

Dont compare this to smartphones, or to the internet. LLMs are more like the invention of the "makeup application robot", or the invention of those weird animatronics that look super realistic.

I wonder when the discussion about the climate impact of LLMs will start - just to draw more parallels to the overhyped crypto bubble.

Im glad you guys are having fun, I guess. Just dont make drastic life changes based on LLMs existing.
I remember JavaScript from the time it wasn't considered a language anyone would write by hand (RAD controls? Something similar generated by MSVS?). It was supposed to be generated because most people involved with it looked at it with disgust. This tradition, sort of, continues to this day with the most prominent member of the family being TypeScript. So, I'd say, JavaScript community is more aware of the awfulness of their language, and have created an ecosystem where they constantly make efforts to not to write in JavaScript (of course there's also the opposite camp of people who really want to write in JavaScript).
I remember when they said 2008 was the “end of capitalism”, last i checked its still here.
Doubt it is the airline. Not entirely sure how JFK is configured but usually you have gates that are domestic or international, so they were probably assigned a domestic gate by the airport.

Alternatively some airports have gates which are domestic and international and have staff opening different doors which go to different passageways depending on where the flight has came from.
'Reasoning' (as in deriving new statements with precision, following logical inference rules) is precisely what the large language models can't do.

It's better to think of this models as 'generating' chains of relevant words, where 'relevant' is defined by similarity of those areas of knowledge on which it has been trained, and which are "activated" as close to the topics in the prompt. Which is not at all dissimilar to how humans learn about a new topic, btw.

This way, by "activating" concepts of areas of knowledge and finding words that are more likely than others to fit those concepts, the model is able to create texts following the constraints you instruct it with - such as poems that rhyme, or critical analysis of scientific articles.

The most important point to be aware of is that this creation model is completely different to how automatic reasoning models create content, which is by having a formal representation of a knowledge domain and creating logical inferences that can be mathematically proven correct within the model. A reasoning model cannot lie, but it cannot create content beyond the logical implications of its premises; its quite the opposite of what language models do.
Facebook have three datacentres in Luleå to use the cheap power.
See also https://www.reuters.com/lifestyle/sports/gymnastics-german-t...
If I were looking for an alternative in NextJS, looking for something built in Rust would definitely not be in top of my mind. I would assume this kind of movement from JS -> Rust would be quite rare.
Those FTE will need to understand the native SDKs no matter what, when the abstractions leak someone will need to debug them.
Sure, but alternating between the two is less convenient. You can also cycle between tabs using a keyboard shortcut.
Expo is a huge bait and switch that makes it hard to fix down the line. It's all rainbows, butterflies and QR codes at first, until something goes wrong or you outgrow expo. Then you're in the 5th circle of hell where you've coupled half your app to expo and need Java, gradle, and IOS experts to fix it.

Next project I have to do on mobile it'll be React native all the way from the start.
I wonder, are there an infinite number of proofs of the theorem, each more complex than the last? Can I rephrase what they did, make it more convoluted, and call it a new proof?
You can build up...

Unfortunately in the UK apartments are associated with the dirty poors, so people prefer to live in awful tiny houses over spacious apartments.
Can you write extensions / modules for VBA used in Excel? -- It's an honest question. I simply haven't used any Microsoft product in a very long time... If not, it's probably not a good delivery mechanism, even if very popular.
The US doesnt have an immigration check at exit.

Apparently they use passenger manifests to match things up, and the airline will ask for proof you’re in the US legally if you’re from a country without a visa waiver.

But if you've ever been an immigrant to the US, you realize the I-94 system isnt always accurate, even if you were admitted by USCBP.

You can look up your own I-94 record online and if there is an error (say you're on an H1-B and an entry record is missing) it’s in your best interest to get it fixed or else your file will be flagged and you may have issues entering the US in the future.

I vaguely recall some Reddit post where someone received a 10 year ban from the US because there was no record of their departure, even though they stayed only 5 days. Basically their ESTA was rejected so they made a visa appointment and got the issue corrected.
This is the true mass surveillance dystopia. When cameras get weaponized to enforce arbitrary dressing rules. Looking at how common cameras have gotten in public places like CCTVs in UK I can't shake the feeling that civilians are just one bad election away from getting hammered by the establishment.

I also feel for iranian women. One can't but wonder what life would look like if Iran dumped the derelict religious practices and just went with a more common sense approach to religion and equality.
Kawajiri’s Ninja Scroll features two interlaced of sex scenes, each involving men who are large and hulking and men who are smaller. But one man is clothed in the robes of minor officialdom and has appropriately dressed hair while the other is semi-naked and bald. The two scenes, while both in dim night-time light, are depicted in different colors and the scenes are composed in contrasting ways. One of these acts is legitimate (the one involving the official) in the sense that it accords with social standards. The other is clearly rape. The film reveals both to be impure and the social order to be corrupt.
US does not check your passport when you’re leaving the country
If a lot more countries would do 5% each we'd have a nice decentralized situation
Obviously I wrote that before learning about Paul Schmidt
> The whole "I go home every night after work, pour myself a glass of wine and read the case law" is an interesting point as well. I quickly realized that despite a lot of techies being very loud about WLB, that's not how it works with exceptional people.

I think there's a _huge_ difference between working all the time because you've got a boss threatening to fire you if you don't versus because you're voluntarily learning to supercharge your career.
"How exactly could nomadic people develop advanced masonry skills?"

By being half nomadic. When you move around and set up camp often and build temporary structures out of wood, there is opportunity to learn masonry.

And when you often visit the same places, and evertime you add something permanent and more lasting, then specialists will develope.

Nomadic people were usually not changing place everyday. They changed places, once the game in the area were exhausted or the temperature became too cold/warm. But next year, they come back to a good spot. And so over the years important spots can get sophisticated buildings.
Still a potential possibility - sadly IMO more so than the utopia vision of AI; thanks for reminding me of this. We simply become fodder for the things AI can't reasonably do in the "real world" until it can with the owners of the systems living it up. At that point the rich/political class have no need for the "rest of us", live the high life and the rest of the population is a "problem" that has to be managed by the state creating mass inequality.
More to the point in terms of wider adoption for any of these JS in X languages: I've never been involved in a company that would want HTML/JS level code being produced at Rust developer salary overhead costs.

They're great weekend project and prototyping things but yeah.
Also pens and pencils. Who cares about that since we have chatgpt now!
True, but even taking the supply charge into account you still get nowhere near 26 US cents a kilowatt unless you’re getting 90% of your energy from solar. (Note to Americans - we pay maybe a quarter as much as you do for rooftop solar, not taking subsidies into account, so solar is super popular even with people who can’t otherwise stand “greenies”).

And yes, we have a mining lobby problem.
Great to see someone care about this. So many discussions lack this consideration and ultimately companies pay for it. Yes, I've seen this many times and why there are e.g. consultants that come in to "optimize" the platform.

Cost isn't the only thing to care about but performance. Functions might not run in every data center that would have a CDN PoP. The SSR vs SSG comparisons always miss the point and claim SSR is faster but that's only true if you're in a big popular city. As you expand - what about the other customers?

Also what about security - that's probably even more important. Each request for Vercel has a higher cost than the equivalent from Cloudfront. What are the safeguards e.g. rate limiting or DoS protection? For Cloudfront you'd need to account for WAF and other expenses.

You don't even need a lot of customers - just a bad actor to easily take down your hosting on Vercel. There have been plenty of blogs of startups using serverless setups getting attacked that costed them 1000s - 10000s of dollars.

Side note: bandwidth costs vary. Vercel does it with 1 price, so things may vary depending on where your users are. Cloudfront costs can go up. You may also need Cloudfront functions to do a few things.
Tabular data isn't hard,

| Type | Host/Name | Value/Points to |
| ----- | ------------- | ------------------------------- |
| CNAME | s1._domainkey | s1._domainkey.example.com |
| CNAME | s2._domainkey | s2._domainkey.example.com |
| TXT | _dmarc | v=DMARC1; p=quarantine; adkim=s |

Even .csv formatted stuff fares OK in plaintext.

But I agree with you on context and having data visible right there in the email. It's often the case that people forgo using email as the functional communication technology it is and settles with attachments only and the canned byline.

I want to see full markdown, mermaid and the like in email.
> C string handling practically invites off-by-one errors and horrible security practices out-of-the-box.

At that point it is beating dead horse - it is such well known fact how C strings works. And it's insanity that noone proposed new standard library with better implementation for strings domain. Boo hoo "old programs" bla bla...

And it's total insanity to blame powerfull language for allowing you to do almost anything in it. You don't even need to ask commitee for permission to roll your own _low level constructs_ - how insane is that ? ;)

But keep spitting on what gives you freedom...
Definitely didn't feel anything like NextJs to me.
It does check the passport information provided by your airline, which is how they inject if you’ve overstayed.

If that process gets screwed then you can be in a world of hurt next time you visit.
True. We must port it to Haskell.
Yup (static site generation)! But more complex than a traditional SPA setup.

Traditionally an SPA has been just one single bundle file that is downloaded. With SSG you pre-generate a file per path which gives the user many of the benefits of SSR on that first page load, before the SPA part takes over again.
Maybe someone then will make dart to kotlin transpiler and port whole flutter to kotlin? I seen unity framework that ported pretty much whole flutter to c#/unity
As if corporations suddenly became greedy over the last couple of years but haven't been over the previous four decades. Corporations purpose is to maximise profits. To expect otherwise is a fools errand.
You didn’t strike a nerve, but your comment is misguided.

Of course people can read binary formats. It is just that they read them more slowly, and it requires quite a bit of exposure/practice, so that people usually invest in tooling to simplify the process.

I suggest that when you see a comment like this, you ask yourself “if I change ‘human readable’ to ‘easily human readable’ would I need to offer my correction?”
Yeah, these kind of mistakes can make sure you're never able to reenter USA again. And the US embassy / border agents won't care one bit about who messed up - there's no complaint or due process there, you're just cattle.
Yeah, avoidance of "harmful" or "offensive" responses is an awful metric for the quality of an LLM. I understand big corporate feel they need to cover their asses, but I much prefer software that operates on the principle that we're all consenting adults.
Even with E gates there’s then a manual stamp afterwards - at least last time I used an E gate
Publicly stating that it doesn't matter sounds pandering and cringey to me. Pretending that you would be inspired by an Asian doing mathematics sounds even more pandering cringey. If the proof came from the adult sons of educated Asian immigrant parents in Boston, it would be far less newsworthy.

For people who care about speeding up progress in mathematics, the fact that this comes from a marginalized group is worthy of mention to understand how to repeat it. For everybody else, ranting about how it doesn't matter is simply off-topic flamebait utilized by culture warriors and their dupes.
I think it also relates to its attention mechanism. When it is trying to answer my latest query about a random topic, it "forgets" that it was also supposed to keep counting words. I guess it can only attend one thing at a time.
I have thought of similar ideas but privacy always concerns me.
the US law also blames the passenger. I have heard horror stories of CPB officiers forgetting to clear one passport in a family.