skysight-inc/HackerNews huggingface dataset:
Vale lead here, thanks for posting!

For those interested in the PL space, here are some of the shenanigans we've been up to in Vale:

* We added "Higher RAII", a form of linear typing that allows destructors to have return types and parameters. [0]

* We just yesterday finished the first prototype of deterministic replayability, which will allow us to capture all inputs to a program (including all network data, user input, file input, etc, and eventually, even thread orderings). No article yet, but our docs on it are pretty approachable. [1]

* Last month, we finished the first milestone of "Fearless FFI", which lets us call into our C code without fearing it corrupting our Vale data. Later on, we'll be adding automatic sandboxing, either via subprocesses (using IPC for FFI) or wasm2c (which should be a lot faster).

We've also got some interesting plans for concurrency. We've found a possible way to make memory-safe and data-race-safe structured concurrency even easier, [2] which I hope to get prototyped before the year's end.

As a fan of C++ and Rust, I'm most excited about having the RAII and flexibility of C++ with the memory safety and data-race safety of Rust, while being easier than either of them. We seem to be succeeding, hopefully that continues!

I also want to emphasize that Vale is a work in progress, and we endeavor to be very clear on the site about which parts are implemented and which parts aren't.

We couldn't have gotten this far this without our sponsors' support, so big thanks to all of them! [3]

[0] https://verdagon.dev/blog/higher-raii-7drl

[1] https://github.com/ValeLang/Vale/blob/master/docs/PerfectRep...

[2] https://verdagon.dev/blog/seamless-fearless-structured-concu...

[3] https://github.com/sponsors/ValeLang
During the 2008 election season, it became a running joke that certain pundits reacted to anything that happened with "this is good news for John McCain".
Your revised comment is definitely correct now.

Not sure about your questions since IANAL but I guess it depends on the details of how $bigCorp's server setup works. If they have some other software that controls access to the AGPLed software, then maybe they don't have to give non-customers source code. If the login form comes from the AGPLed software, but non-customers don't have a login, then maybe the non-customers do interact with the software in a limited way, so source code obligations may come into play.
The embarrassment of it all is this: a study of global prison systems and their efficacy tells us what our governments should be doing. If we want to improve recidivism rates, we can look around at this world and do something better. If we want to inflict more punishment, there’s no end to the examples of inhumane torture. If we want to turn it into a profitable big-business slavery farm and factory system, we can find free-market exemplars.

Judges Plead Guilty in Scheme to Jail Youths for Profit: https://www.nytimes.com/2009/02/13/us/13judge.html

We, our government, need to temper the amoral economic system if we wish to avoid having slavery-adjacent for-profit businesses running amuck on our land.
Or where you just have to change trains within the same country within the same agency within the same region.

https://www.bart.gov/news/articles/2018/news20180525
I fought inflation in SimCB and my economy produced 442549

Started with 0.25% and when the random events happened, adjusted rate really fast to get inflation to no more than 1% for ~6ticks
While we are at it: I need this for climate change as well
Weird, I hadn't read or heard the entire thing before and his answers come across as far more reasonable than any commentary or reporting on it has been. Yeah, sure, some answers are glib and incomplete, but that's clearly part of the format even discounting his personality. I can't find a single thing he said that any reasonable person should consider truly offensive or disturbing once taken in context, which is not what I expected based on the hand-wringing comments in other threads here.
I don't disagree with your anecdote in general. But it is somewhat interesting that, in the modern world, the implicit threat of an authority figure knowing this bit of trivia about you wouldn't be all that threatening. To the person in the story, it implies someone fairly close to him is giving information. To us it would be like "did get that bit of information from my Google searches, Facebook likes, or did you go through the effort of asking my bank where I shop?"
the FT has probably the best info:word count ratio of any daily publication i’ve ever read
443,276… this one the strategy makes sense too… stay at 2% until 115 month and drop to 0.5% by 120, when the production drops 12%. Stay at 0.5% until 175 and crank interest to 1.0% by 180, when people spend 10% less. Stay at 1% rest of the game…

Edit:
New highest known score… 443,385, basically same strategy. 2.25% at beginning, down to 0% during drought, up to 1% when buyers spend less, then jiggle your way till end.
I do have an iMac G3, but it would kill me to turn it into an aquarium. Not only is it an elegant computer for a more civilized era, but it wouldn't hold enough water to keep most fish happy.
OpenAI
Note that a full sized battery pack will also need piping, cooling, cables, etc. So it won't actually reach 255 Wh/kg.
If you knew exactly what to monitor and control, you would also have put in mitigations for the problem. Log analysis is for when something went wrong that you didn't anticipate, such as a security exploit. It's part of a post-incident investigation.
> penalized through menu costs if it destabilizes

Yeah, some of my more aggressive tries had this happen and got lower scores.

What’s the highest you’ve seen?

And thank you for building this!!!
I still don't understand, and maybe this has changed since a few years ago, but how you can essentially brick a phone by re-locking the bootloader with a corrupt OS since unlocking the bootloader requires you to have access to it. I thought back when I did this that there would be a boot sequence I could put the phone into but that wasn't the case. Had to ship it in for service.
Sometimes complicated things are just bad abstractions: you dont have a clearer framework yet.
Ooof. Absolute RED FLAG.

These go as follows.

---

Hey we have this AMAZING tech (supposedly). But wait, we're not going to commercialize / actually produce it even though if true it'd print money.

Look we have this (other) AMAZING tech, we are going to combine these so that's why we aren't showing Amazing Tech #1.

And repeat.

---

Most get rich books / authors / etc - if they had a way to actually beat for the forex market etc they wouldn't be selling $50/books on how to do it. Same thing here. if they had a massively efficient plane (with a prop - also efficient) they'd actually deliver.
There are some who have argued that crytopcurrency is an effort to make everyone's spending habits public. Imagine virtually anyone having access to global purchase history. No need to approach VISA, etc. to purchase the data. This seems like Nirvana for "tech" intermediaries sitting on the internet.

A crypto proponent might argue that transactions are anonymous. However it is impossible to remove entries from the ledger, which is of course public. Hence even if this anonymity was true today it would also have to withstand ever-increasing capabilities of "chain analysis" for an infinite amount of time.

The existence and use of "crypto mixers", e.g., by criminals, suggests identities are indeed traceable.
How so? I don't understand this connection at all.
> Curtain wall construction had only been invented less than 20 years earlier

The comment was about understanding that the statue needed to handle winds in the harbor - not about curtain wall construction.

> and this was the tallest such structure at the time.

The wind load acting on lighthouses and chimneys was formulated in France by L. Fresnel in 1825. One of the Seven Wonders of The Ancient World was also a lighthouse, Egypt’s Pharos of Alexandria. As the first known lighthouse it stood 450' or 145' taller than today's Statue of Liberty.
Is there really any calculation source or even equation of fuel efficiency due to battery is dead weight whilst fuel burn itself.

https://github.com/electricitymap/bloom-contrib/issues/271 This mention spreadsheet with script or pdf. Authority but not that useful for calculation.
Uncle Rico can finally go back and take State.
UK Scraps Parts of GDPR in Data Reform Bill
I don't see any analysis?
I don't understand why I would trust this meta review site over the 100's of other meta or search sites and 10,000's of fake review sites on the web. The only "Primary Trusted Source" they use that I would trust is Consumer Reports[+], for which I'd simply read Consumer Reports directly.

Regarding their technology that "detects product mentions in Reddit posts and comments", how do they correct for mentions like "I bought this Sennheiser model xyz but it's a piece of garbage". Does that score positively because it was mentioned?

[+] My confidence in Consumer Reports has nothing to do with algorithms or software. It's based on a large number of identifiable people that work there and their well-known long-standing organization. When they say, for example, that they pay for all the products they test and don't take any money from manufacturers, I'm pretty sure that if that was a lie, someone would have blown the whistle by now and the organization is sufficiently newsworthy that I'd probably have heard about it.
It's really not an either/or proposition.
What financial crises?
Thanks for the link, that provided more concrete discussion than anything I've read of Wolfram. Though to be fair, I've never managed to get all the way through his book-length essays that use a lot of words to say nothing, at least in the first half.
Thanks for pointing that out. We've banned the site.
https://en.wikipedia.org/wiki/Lancashire_dialect
Of course they are:

https://www.researchgate.net/publication/247925262_Large_Lim...
The model is missing the external factors if currency price and foreign import prices of goods and demand for your own currency. CB decisions have been greatly cushioned by the fact that the US currency is reserve currency of the world at this time and instability elsewhere makes it remain such. If apple prices go up, demand can go abroad and that changes the dynamic for when you change interest rates (can farms support themselves when the price of applies is pushed down by imports and your inflation escapes). Thus recovery would look different in an open border world vs closed economy. Then it also compounds for countries such as the EU members where you have some with high exports and others with high debt that share the same currency and pushing one direction always hurts someone.
You edit files, or use the interface. Much is configured through custom written functions. If you use both there is likely to be trouble.
I'm doing more heardle these days.
The Neuroscience of 20-Somethings (2012)
YouTube disables the ability to sign in on older Chromecasts
I was going to suggest this tool too as I’m not aware of others like it.

Worth the caveat that Keen is a heterodox economist. So if you pull his off-the-shelf models you are not getting the current accepted “mainstream” theory. I don’t think Economics is a field as mature as Physics where you should have extremely strong deference to the orthodoxy based on an incredibly strong prediction record, but it’s worth keeping in mind.
Great explanations, thanks!

This reminds me of the anti-zeno effect, in which a particle evolution is increasingly delayed with more frequent observations.
I can hear myself wooing in the background! (The semicolon bit too, because I was a php dev back then!)

I am old now.

Im pretty sure @alexisohanian was there too.
Check out Sarek’s thesis in the evaluation section: https://sarsko.github.io/_pages/SarekSkotåm_thesis.pdf.

In general it’s roughly at the level of microsat so worse than minisat and kissat, but not garbage either.
> "cash transactions being somewhat less trackable, however"

"Then he said he was going to buy the book with cash, so nobody could trace the purchase to him and exploit his interests for commercial purposes" - Calvin, talking about his Dad, in Calvin and Hobbes by Bill Watterson, December 1993.

https://www.gocomics.com/calvinandhobbes/1993/12/07
sure, I understand. I wont comment on this thread anymore.
I agree once over 50% ownership has transferred you lose the moral right to destroy it. I should have clarified and said the one creates and owns, or even just owns really.

I disagree with the other assertion that you lose the moral right to destroy it. Does he have the moral right to fire his employees? I hope you'd agree with me that he does. And in this case he'd just be firing all of them.
> ordinal number[1]

> 1: ie, a positive whole surreal number, rather than a positive whole real number

Actually, ordinals have some additional contraints besides just "positive" and "whole" (eg ω−1 is not a ordinal), that just reduce to "positive whole" in the case of reals, although that doesn't change the actual point any.
Basic Example of PyScript where you can run Python in the Browser
Yeah, I don't see how to avoid that. It's probably a bad idea then. It's a bummer to waste good organs, but I see your point about the potential for abuse.
is there an airport anywhere that stocks hydrogen fuel?
In the US: https://www.epi.org/press/union-workers-are-paid-11-2-more-a...
Presumably it would go towards defraying some of the costs of incarceration, which society pays for.
I explored couple of methods to develope desktop/mobile GUI with Go a few weeks ago. These are some of them:

1) Fyne (https://github.com/fyne-io/fyne)
Popular. Native functionalities like trays, etc. Mobile app possible. Looks okay.

2) Gio (https://gioui.org/)
Looks okay. Customisable. Tailscale Mobile app is made with this.

3) Wails (https://github.com/wailsapp/wails)
Easy WebView for Go.
Lacks native functionalities.

4) Sciter (https://sciter.com) embedded in Go
Haven't explored much.

5) Giu (https://github.com/AllenDang/giu)
Based on Dear ImGui. Doesn't look very polished.

P.S. I settled on Gio for the mobile app and ditched the desktop app altogether.
> A generational reference can include an offset to the parent's generation

I see, thanks for the clarification. Then interior pointers will be larger than normal pointers, like all generational pointers? While the interior object itself doesn't have a generation, avoiding that overhead. Makes sense I think.

All the larger pointers do make me worry about increased memory overhead, though (kind of the reverse of the x32 ABI which has half-sized pointers; I think 5-8% is the quoted perf difference there). Do you have benchmarks of memory overhead - looks like the link has throughput?

Regardless, it sounds like the other features you mention should help with both forms of overhead, so it will be interesting to see how much.

Cool project btw!
Exactly. Unless reported they are like NTSB and crawl out of the woodwork after someone dies.
soooo...

> Amazingly cool that it understood it had to make the statue handle winds in the harbor.
Guilty of Treeson is good.

There’s also a few plumbers unsticking drains (both sewer and storm) which is oddly fascinating.
That's not the same sentence, now is it?
In more detail than you wanted: https://constructionphysics.substack.com/p/construction-phys...
"The conclusion is that Amazon is not a viable business"

-- best of HN
Brussel sprouts grow on stalks and not in the ground like carrots or onions or potatoes. You may have gotten unlucky with an unusually dirty batch, but rinsing with water should be enough in any case.

Roasting with bacon is a delicious, if less healthy, alternative.
Sure, nobody is saying the government should do nothing with the internet. It's already involved with subsidies. But the article is about government ownership of the internet. That's a very different thing.
Unfortunately, even if you won't be using it during your actual work, data structures and algorithms is still part of the interview process.

If you don't feel like going on a crusade to change the whole interview system, get yourself "cracking the coding interview", learn the basic stuff: linked-lists, trees, hash-map, search, sort, big-o

Honestly there isn't that much you need to know.

and just bite the bullet.
That is the design: business units that are not viable on their own are subsidized by a few cash cows but might gain market share and be profitable in the future
I was much more libertarian when I was younger. Drugs are a good example. I always thought people should be free to do whatever they want. I feel that way about myself, certainly, and don't feel bound by any drug laws - not that I use drugs, but if I wanted to the law wouldn't bother me. Over time though I've lived in places where drugs practically are legal and the consequences - homeless, petty crime, public drug use, overdose deaths, etc seem less than ideal.

Nowadays I feel less libertarian and more confused. What is the social benefit of allowing gambling addicts to bankrupt themselves? Why do we allow that? I like to gamble now and again, and think I should be allowed to, but...
I read Aha Gotcha at about that age, if I recall. It was sitting around my house.
I'm glad MTE is catching on, I think it's the future for C and C++'s memory safety story. Hopefully intel comes out with something for it soon too!

Vale is taking a similar approach at the language level, by putting a generation at the top of every allocation [0] and it's proving pretty fast. It's also proving more accurate, since its generations are larger; MTE uses 4-8 bits, and generational references use 32-64.

It would be cool to see C++ itself embrace generational references in the standard library (perhaps via a std::gen_ptr?), it would give us some memory safety without needing to use the heap, which would be a big improvement over modern C++'s encouragement of std::shared_ptr.

[0] https://verdagon.dev/blog/generational-references
Have you tried LyX? It doesn't have all the advantages of plaintext and it's still easy to get distracted, but I find it's quite good at getting out of your way when you're not too worried about specific formatting, and it still has all the power of LaTeX when you need it.
Not at all. They are just 00 size capsules and easy to swallow. Didn't bother me one bit. Personally, the idea of consuming someone else's poop is less bothersome than taking most pharma pills. Terrible logic, but that's just how I feel.
The saddest part to me was watching Larry David feature in a crypto commercial.
Threadreader: https://threadreaderapp.com/thread/1537849694621052928.html
You need to dedicate significant study into data structures and algorithms with lots of coding challenges (leetcode-esque) to pass these interviews. Even some world class programmers will fail the interviews, that's how they've been designed.

I think it's quite a reasonable expectation to achieve a high paying job. It's just a shame that it's not necessarily related to the day to day work, not will your prior work experience help much.
We go back and forth on this as well. When I talk to people I will usually say something like “we find the stuff in the logs you were going to have to dig for, and surface it in a report on your dashboard”. I think the RCaaS is in that sense aspirational, and there’s a bunch of other stuff you’d want to do as well like integrate log and metric AD for example. I really appreciate your thoughtful comment and I think you’re right, we can still communicate better about this concept with the broader community. Pls do reach out if you’d be willing, Id love to pick ur brain over a drink or w/e. larry@zebrium.com
You don't need to create a new table to add foreign keys - you can do it by setting PRAGMA writable_schema = 1, then updating the table definition directly in the sqlite_master table to include the foreign key constraints.

This sounds terrifyingly dangerous, so you should absolutely take a backup first - but I've found it to work just fine in practice.

Here's where I implement that in my sqlite-utils Python library and CLI tool:

https://github.com/simonw/sqlite-utils/blob/2d84577202e22767...
This seems to be a Linux exclusive problem. In general Linux is great, but there's so many people that really don't care about usability.

The problem with open source is that programmers often set priorities(Which is why I'm a fan of Cathedral model software).

FOSS programmers love to program so much, that everything they write is usually a tool to help make other programs.

Without outside feedback, or some kind of strong mission to really focus on the mainstream, the whole entire ecosystem can turn into jusr one massive IDE made of loosely coupled utilities.
Bezos was invited to dinner with the Obamas at the White House, along with Jon Stewart. He was flapping his mouth off about his vision for us all being happy little worker drones.

Stewart told him that people want fulfilling, rewarding work they can be proud of, and that being errand boys for billionaires isn't fulfilling. Stewart capped it by saying that turning people into service drones for billionaires is how you end up with a revolution (ballsy words to say at a White House dinner to the richest guy on the planet.) And after a bit of silence, Obama said "I agree with Jon."

https://youtu.be/Vewz1v4rQYg?t=116

You'd think Bezos would take the words of the president of the united states a little more to heart, but it seems not.

And then years later, what happens? Staten Island union leaders thank Bezos for being too busy flying on his dick-rocket to stop them from unionizing his warehouse.

Bezos basically considers every other human to be a happy little servant, just dying to work for the 0.001%. He's exactly like the stereotypical 1800's British lord who looks down upon his servants and says "oh they enjoy a good hard day's work for someone else."

(print version: https://www.businessinsider.com/jon-stewart-jeff-bezos-econo...)
I had to scroll WAY too far down to see this comment.

If this really is your thing, then by all means do your art. But for so many people paying attention to this as if it were important, please consider that it really really may not be.
The two products may be identical, but they are not the same (2021)
cleveland and st pete, fl, have awesome airports at risk of closure for no reason other than water front property means expensive condos. only thing saving KSPg right now is that they took FAA grant money and cant be closed for eight years as a result
It’s not as rigorous as a controlled double-blind clinical trial, but you can definitely experiment as an individual by trying different combinations on different days and looking for patterns. One example is the common recommendation to introduce new foods to babies one by one so any food allergies are more apparent.
Seems like they're hoping for the TX Supreme Court to bail them out, because the PIA (FOIA for Texas) is pretty clear this is mostly not covered (other than info on crime victims) [0].

[0]: https://texas.staterecords.org/foia
For anyone that was confused like me, this is unrelated to the Vala programming language [0] which is a more traditional OO based on GLib. E vs A.

Looks very interesting, and the blog has very nice writeups, I found the article on mutable/constant variables syntax[1] particularly clever. Tho I'm unconvinced of the final decision it's certainly a breath of fresh air.

[0] https://en.m.wikipedia.org/wiki/Vala_(programming_language)

[1] https://verdagon.dev/blog/on-removing-let-let-mut
A lot of places did in recent years
Why Natural Language Processing Will Steer the AI Ship: Experts’ Take
Natural language processing, the prodigal child of AI has revolutionized the way humans interact with computers. But does NLP hold ground for the future of AI? Our experts share what’s beyond language and why NLP will steer the AI ship now more than ever.