skysight-inc/HackerNews huggingface dataset:
Yup. I've tested it for sizes of the generated binaries, versus C and Go, for a hello world program. C was smallest, next FP, last Go. Both C and FP were under 50 KB, IIRC. Go, much more, in the 1 MB range, IIRC.

I have also written a few small CLI and GUI utilities in FP and Lazarus respectively, and it was mostly a breeze. Had fun.

If you have Delphi or VB experience, it is very similar, conceptually, so fairly easy to pick up.
Puter Browser
I suspect that you can describe pretty muich all builds without turing completeness, but avoiding it is rarely particularly helpful. What you need is a language that has a reasonable amount of expressiveness to describe modules and how they fit together, including whatever decisions you need to allow for a) build configurations and b) dealing with platform variations. It's a lot easier to express this in a turing complete language than a non-turing complete language, and it's hard to make a non-turing-complete expressive enough without accidentally making it turing complete.

The reason make is not particularly great for writing a build system in is the language is pretty arcane, and it has annoying restrictions which make certain things particularly difficult to deal with (Spaces in filenames!). The fact that it's not turing complete is not really the key reason in my mind to use something like cmake instead. But, if you were to try to turn make into something that's more flexible and easier to use, you'd be making a lot harder on yourself if you still wanted to avoid turing completeness.
To be that guy, not quite a python level of tersity!
PostgreSQL is eating the database world
I agree that the article is not very good
Nice changes, i can now drop at least one mod from my usual mod set.
That is just generic advice. Who would advice against studying. I think this essay is intended to be more inspirational than practical, which is fine.
Good post. Good analysis. One problem:

If turing-completeness is necessary, why should there even exist a build system independent from a programming language now?

Isn't the obvious solution to script your language's default build system in precisely the language you're trying to build from?

So when you build Rig, build it in C++ and make C++ your scripting ... Ok, that left a bad taste in my mouth.

Seriously, though. Build systems as the author describes them are going to compete against the project managers that come with languages (Cargo, Go). The only real use case for Rig would be legacy languages that don't come with language-central packaging repositories, i.e., Fortran, C++, C.

While I applaud the author for the attempt to improve this ecosystem, I really hope it will become less relevant some day.
Yes, this is why I consider a voice number important. Nobody in my social circle makes a voice call unless some serious emergency is happening, so just the fact that they're calling is a big and useful emergency indicator.

It also means that if I get a call from a stranger, there's about a 99% chance that the call is one I don't want to take. It makes filtering out telemarketers and scammers much easier.
You could fill a phone book with Mead's other interests. LSD, semiotics, Dr. Spock, polyamory, folk music, Episcopal prayer books, race and intelligence, you name it. To make an unsupportable hyperbolic claim, she might be the most important academic of the 20th Century.
The investors are always asking for pay outs.
Yes! Causal natively supports Monte Carlo simulation. E.g. instead of writing "7.5%" in a cell, you can write "5% to 10%" and it will turn that into a distribution, and automatically run a few thousand samples with different values every time it re-calculates.

Docs: https://docs.causal.app/formulas/values-with-uncertainty
Canon doesn't develop MacOS. They advertise support for the version of MAcOS that existed when they launched the printer. If MacOS decides to break compatibility over time, it's not their fault. If they're not selling the printer today, they can't also provide up to date support for the OS of today. It's up to the OS developer to ensure a stable API for printers.
Microsoft hires DeepMind co-founder Mustafa Suleyman as CEO of new AI unit
IMO most folks find it easier to point to the million reasons why something wont work/why someone is speaking from a point of affluence/how luck/finances/etc play a role in success than to just do the thing, learn from their mistakes, and grow. It's probably because doing the latter is hard and forces you to face ambiguity & hard personal growth on a daily basis.
Finally his blog is using HTTPS :)
The idea behind VC is to lessen the individual financial risk. VC can work but it takes a lot more money than typically offered.
Yep. It's not very satisfying, but that's the state of things. I think we should be more honest as an industry about that. Most of the content that prospective SWEs look at has a self-marketing slant that makes things look more interesting than they typically are. The reality is far more mundane. Or worse: micromanaging, pressure-driven, and abusive in many places.
To be fair, becoming a social media influencer isn’t all that conceptually different from becoming a movie star, a professional athlete, a famous musician, or other type of celebrity entertainer. Maybe even marginally more attainable.

Funny enough is successful people like pg themselves become essentially social media influencers after they’ve achieved things. Fame and following are the next pursuit after wealth.
Great PR for Google from Lee! It totally isn't mostly for advancing Google's commercial interests, the bottom line being:

"I believe that humans can partner with AI and make great progress. As long as we can set clear principles and standards for it, I am quite optimistic about the future of AI technology in our daily lives."

I hope he got paid well.
First thing I noticed is that the UI looks exactly like Linear. Have seen more companies copy the same UI but not sure if it was actually Linear that started it.
> But you will avoid many of the annoying things that come with a job, including a boss telling you what to do.

I hear things like this a lot and I'm sick of it. There's nothing wrong with working for someone, in fact it's the best way to improve your skills as a beginner since you're going to be mentored by people much more experienced than you. I still call my first boss to this day.
I'm happy to say it looks like we tick 9/10 of those boxes!

> 10. Focus mode

You're right, this is the one we don't support. But we've gotten requests for it, including from my cofounder, so its coming!

> 1. How painful will it be to import from Things?

I'm not sure if Things lets you export tasks, but if they do I'm more than happy to run a one-time custom import for you (or any other Things user). There's also the simpler way, which is copying a bunch of tasks to your clipboard and hitting ⌘+Shift+V in Godspeed to paste tasks from clipboard. It'll respect indentation and bullet characters.

> 2. What if the app goes away? I don't want to lose my stuff or switch again, it's a pain. How big is your company? Are you a going concern with real customers or is this a side project that will fall by the wayside?

Important question, thank you for asking it. First, if the app goes away, you're able to export your data from Godspeed. Currently it exports as JSON, but we're going to add other export formats in the future (as well as attachment exporting, which we don't currently support - though all your attachments are stored in a particular folder in ~/Library).

We're small right now, just a few people. But this app is pretty cheap to run and we use it every day (I don't want to brag, but I'm currently at the top of the charts for # of todos with 22,000 :p). So for what its worth, we intend to be around for a long time.

Thanks so much for the feedback and for checking it out! Happy to answer more questions, either here or daniel@godspeedapp.com
...including a boss telling you what to do.

You leave that to your customers and stock holders instead.
Actually a nice feature.

This solves the public static void main string args issue.

Still if I need JVM then Scala or Kotlin are still preferable over Java.

Obligatory Java for the Haters in 100 Seconds: https://www.youtube.com/watch?v=m4-HM_sCvtQ
The Legacy of Copyright Traps (2022)
I'm surprised no one in this thread has mentioned Workflowy[0].

It is extremely minimal and elegant, does everything that you're looking for (on first glance), and is completely free. Not to be hyperbolic but the interface is ingenious in it's power and simplicity. Give it a shot.

[0]: https://workflowy.com/basics/
Given the number of lies on the company's website, I'm not inclined to believe them about other things.
I don't think that is the argument they are making
Maybe because there is no one/right/simple answer. You really have to think for yourself and seek out answers instead of expecting them. You're doing that now but with the mistaken impression you were to be handed them.
I like “Mickey mouse cable” for C5.
How so? I don't think there are many good things to say about Groovy, but I generally agree with most new features introduced to Java. What do you think Groovy does better?
Looks really nice, but is early access with no pricing shown. Bookmarking for later when more detail is available.
I see primary care providers giving patients 25000 IU weekly for years on end and they come in with toxicity.
I'm mainly hacking around with my LLM CLI tool, experimenting with different combinations of embedding models and LLMs: https://til.simonwillison.net/llms/embed-paragraphs#user-con...

I really need to add a web interface to that so it's a bit more accessible to people who don't live in the terminal!
The problem is that ChromeOS is not the Linux that should succeed. I sincerely don't want to live in a world where Google not only controls most of search and over half of mobile but also ends up with majority desktop share. It would be a genuine privacy nightmare.

ChromeOS may be Linux at the core, but it lacks the privacy that has driven so many to Linux already.
They're not actually interested in the nerdy stuff, just in the "disruption" stuff.

I disagree. The AI stuff seems pretty nerdy. Same for GitHub and other levels of abstraction. The disruption talk is just the branding by the media.
First impressions is a sales skill
It is probably all in the book "Why String Theory?" from 2015 by Joseph Conlon.
“Driving” is not solved unless you mean perfectly paved streets in perfect weather on empty streets with no pedestrians. A competent solution like Waymo can handle significantly more complex cases at real world levels of complexity, but it is still unclear how comprehensive and robust that really is across the massive complexity of reality even without other cars on the road. There is simply not enough data, and no independent audits yet.

It is prudent to remain cautiously optimistic that the evidence will bear out in time, but not assert unsupported claims.
John Tooby – Coalitional Instincts
You could be right. But I wonder if truly nobody will want to claim their video is not AI-generated. Seems like some people will, and they would get an advantage out of it. Yes, Fox News claims they're entertainment and nobody reasonable would believe them. But not all news channels do this.

Did the California proposition 65 really result in cancer labels on everything? Or is it just hyperbole? I suppose having a lot of labels is still bad, even if they're not technically on everything.
My local, private todo list serves a different purpose to Jira. Keeping the two in sync is manual but not difficult.

Every morning I have a routine of selecting my tasks from Jira. During the day, I just try to keep Jira up-to-date. And then at the end of the day, I ensure Jira is up-to-date with my progress.

I've tried multiple times to automate them, but the automation ends up with more costs than benefits.
Perhaps we are using claim in different ways.

In the anecdote the author claims that the former group was toxic and that this was one of the reasons that influenced choosing a different group.

There are two claims about toxic behaviour. They are not the only claims, topics, or other interesting things one could draw from it.
> After being denied asylum, Sweden allegedly flew Fikre back to Portland, Ore., on a private jet.

With all of the migrants that Sweden had, I'm surprised that this was not only denied asylum, but flown to the us on a private jet.
I'm curious as well – if there was a SQLite file somewhere that I could read from to hook up e.g. an Alfred plugin or whatever, that would be valuable.
To say I can do literally anything means I can have a 5x body weight deadlift or run a 4 minute mile. There are limits.
Wow, that sent me down a rabbit hole -- but this line from the homepage makes it sound like he is _not_ part of that family?

> If you're looking for information about the Mexican scientist Oscar Toledo Esteva, then please go to the History page of the Familia Toledo organization site.

https://nanochess.org/index.html
State of the art is still GPT-4? Others are playing catch up or hitting very similar benchmarks
It's not specific to LLMs, but the point is LLMs will make things more efficient and therefore make 'a bigger straw' to drink the milkshake.
> Legal tender law is the legal fiat that gives a coin its ‘nominal’ value distinct from its commodity value

No. Legal tender makes something required to be accepted at face value for extinguishing debts. Nominal value is a broader concept.

Treasuries, for instance, have a nominal value without being legal tender.
Try Workflowy, it has good native and web apps and a great minimal but powerful design and is completely free.

https://workflowy.com/basics/
The issue is that you can be conservative or progressive on really different issues, and it does not apply 1:1 to politics (especially US politics). Most green party and ONGs are ecological conservatives (Greenpeace especially :/), despite being broadly at the left of socdems in Europe. Being societally conservative (practicing religious people are, in my experience) is orthogonal to being for closer communities, unlike pushing 'diversity and inclusion', which are an excuse to keep to social status quo, while virtue signaling.
one real experiment he contributed to was VPRI ometa and the os built on top of that (every part of the OS built on top of an eDSL)
I think your argument is flawed. By the time a company is successful, it has around 100-1000 employees. If those employees are all sampled from the same statistical population, any individual randomness in employee quality will wash out when averaged over 100+ people. So how come a successful company A has better employees than a failed company B?

Maybe a big part of the founders' skill is to actually hire the right management which in turn is capable of hiring the right employees. In which case, the credit goes to the founders after all.

Or maybe the quality of employees does not vary that much (after controlling for the the obvious factors like location / funding / business area). In which case, the company's success is explained by something else. Again, founders' skill? Or maybe something else?

I tend to think that it's a combination of founders' skill and being lucky to start the right business at the right time. I'd understand if others put greater weight on the founders or greater weight on luck.
It's crazy there's zero accountability for bad behavior in tech. I went through my own story at Google, and seeing them say it was vaguely bad before promoting him to VP mirrors exactly the "intervention" I saw.

The deck is completely stacked against you based on hierarchy. Behavior that a fast food manager would proactively solve in 30 seconds gets ignored in white collar tech. No one above you will even mention it - they know you can't win and they just hope you'll quietly give up.

If someone above you in the informal hierarchy is messing with you, there's massive confirmation bias if you complain. They'll spin it to whoever you complain to make you the bad guy. HR never helps - their job is to investigate, and then give the results to someone 2-3 steps above you to do something with.

The higher ups control the outcome, and they designed the power structure in the first place, their confirmation bias is accept the spin.

If you want to survive, avoid conflict 100% of the time. Let people blame you, fail reviews undeservedly.

My Google career ended from just doing exactly what I was supposed to do in order to get a 3 year delayed project done, that 4 separate VPs had been asking for all those years. I spent 6 months warning my manager fuckery was afoot. Didn't matter. TPM witnessed and defended me, didn't matter. Guy who led it hired his unqualified childhood buddy to replace me. Didn't matter. All on me. Everyone wanted to do it, and gee whillakers, refulgentis went mad and dropped the ball completely for some reason.

Of course, 6 months later they delayed the project a 4th year because they could, documenting the only downside being a strained relationship with a less influential partner team. (my orgs managers didn't realize their...unvarnished...takes were in a doc shared with all of Google)

At the end of the day, HR will funnel you into taking mental health leave -- 6 months worth, exactly long enough that an EEOC complaint can no longer be filed. (took me 6 years to realize why "disgruntled Google employee" news articles always included a bit referencing leave/6 months off as if it was a bad thing. go/mh-leave if you're at Google. You don't actually need to talk to HR, and I don't recommend going to them ever. I didn't for this, but they wouldn't have helped.)

The whole system is broken.
Apart from it being probably a great app...

"Pay once $149 keep it forever, ongoing compatibility
updates + bug fixes, 18 months of new features"

...this is not old skool pay once payment. It is just one payment for 18 months of subscription to new features which makes it slightly more expensive than monthly subscription. Go figure.
Having worked in multiple military communities, I can attest that 75% of the time "Classified" means "we did shoddy work and we want to hide it". This sounds like a good decision.
It was overly harsh. I'd apologize for that. But I'd have a less-strong reaction if they said "What do employment lawyers have to say about this? Could it be a discrimination lawsuit?"

Instead, they said:

> "Seems like a pretty obvious discrimination lawsuit."

Which is the difference between lazy inquiry and spreading misinformation.
The understanding of strange metals, and more broadly, systems (i.e. materials) where strong (often quantum) interactions are important is one of the main general research areas of modern physics. This is motivated partly by the interest in understanding the fundamental physics involved, and partly because these strongly-interacting systems often have other interesting properties such as high-temperature supeconductivity, or various magnetic properties that may be useful for quantum computing. It's a large and active area of research.
I have absolutely no idea what point you're trying to make.

I clearly wrote "C++ is safe if you ignore most of its libraries and write everything from scratch [...] and [...] stick to using nothing but the safe primitives you have created".

If you're using foo<string_view>, where string_view is the std::string_view one, then you're not ignoring an unsafe library feature.

Regarding templates, you could at least bring up argument deduction. It's possible to end up with a string_view template parameter implicitly, without using foo<string_view> syntax.
I worked on this after seeing https://news.ycombinator.com/item?id=39597030 2 weeks ago. I thought it would be cool to have a real web browser within this "Internet OS" web desktop on Puter.com.^0 So I made it.

I did already have a project so I just had to stretch it to fit.

0: https://news.ycombinator.com/item?id=39597030
> A ring oscillator in an FPGA can be used as a strain gauge. If you implement a ring oscillator on an FPGA and then bend the FPGA, the frequency of the ring oscillator will shift.

That's horrifying. I love it.
One thing I'd add to this, as a Business Management graduate… college won't teach anywhere near as much about business as starting a business will.

You'll get FAR MORE practical and useful knowledge doing it yourself, and being exposed to other businesses.

Most of what you'd get from college can be had reading a handful of well-written books on the subject.
Yeah, all the time. In fact, I'm repairing one right this minute. If anyone reading this is near the uws in nyc and has a ruef400 or similar pptc fuse handy I'll trade you for a beer! Email in profile :)

As far as dangerous home electronics repairs go, CRTs were pretty much the top of the list and they're all but gone now. Normal 110v work is rarely that dangerous even if you mess it up and most things aren't even 110v anymore - lots of consumer electronics just take a standard 5 or 12VDC or whatever. Besides, 90% of electronic repair is "find the burnt, hot or damaged component and replace it"; you're not exactly designing your own powerboard from scratch. Hell, there are hundreds of thousands of products on Amazon with hot 110V metal cases, which is pretty much the worst imaginable thing, and yet few people get injured by them - the reality is that whatever sin you possibly commit in your DIY repair has a tiny chance of causing any real world injury.

But more to my point, these days doing your own repairs are unusual, sixty years ago it was often included in the instruction manual. Even the cheap shitty stuff is less cheap and shitty than it once was; smaller, more efficient parts, SMD components, "sealed lifetime" bits, unrepairable materials etc.
We use a proprietary sync engine, so there isn't some known file format you can edit. I totally understand your objection to this!

We do, however, store the data locally in a sqlite database (~/Library/Godspeed/godspeed-db.sqlite). You shouldn't directly edit it or things won't sync properly, but you can use it to easily read your tasks if you'd like!
Sadly records are not value types, maybe Java will do this better, but I doubt it. Valhalla is probably years away.
I've not tried wxWidgets (C++), but I've written a few small GUI apps in wxPython. It is good. Only built them on Windows, though.

Qt is to PyQt and PySide as wxWidgets is to wxPython, roughly.

Check FLTK (Fast Light Tool Kit) too (C++).
I think I get what parent means, Kay is mostly seen in conference mode, with simplified slides and big ideas, it's frustrating if you never saw who he got taught or worked with.
It's "Retrieval Augmented Fine Tuning". The related blog post is interesting: https://gorilla.cs.berkeley.edu/blogs/9_raft.html
Sure you can.

https://en.wikipedia.org/wiki/Hyperloop
There is indeed a sqlite file! ~/Library/Godspeed/godspeed-db.sqlite. But you shouldn't edit it or things won't sync properly. Feel free to read, though!
The FBI questioned him while in Sudan, according to court filings, telling Fikre he was on the No Fly List and could be removed if he became an informant. Fikre allegedly refused and moved to the United Arab Emirates, where he claims he was then abducted and tortured for months by the country’s secret police at the FBI’s request

This is why secret laws and secret courts are incompatible with a healthy democracy.
I would add, repeatable / reproducible results. Given the same input, you get the same output every time. If the input includes some sort of random seed for the express purpose of getting different output intentionally, then so be it, but I can't trust a program that I never know what it will do in response to what I tell it.
Sure, when villages, towns and city outskirts get their businesses and proper jobs back, instead of being only available in the city centre.