skysight-inc/HackerNews huggingface dataset:
Girard's rhetoric never fails to keep me hooked. I treasure any number of works of Girard, whether his introductions to Type Theory and his Linear Logic or notes on his quest for Transcendental Logic. Clear prose of exposition, to the point and clearly motivated, intermingled with literary allusions in critique of philosophers' ideas of truth, the work of Girard is truly a gem.

Particularly entertaining is his 'A pure waste of paper' (Appendix A of 'LOCUS SOLUM') (https://girard.perso.math.cnrs.fr/0.pdf). I could flip to a random page of his 'appendix' and just sink in.

A fine introductory work of his to the subject would be 'PROOFS AND TYPES' (https://people.mpi-sws.org/~dreyer/ats/papers/girard.pdf).
I thought this particular article gave a balanced, high-level overview, along with enough detail and references to provide a good starting point.

Yes, perhaps it's a bit light-weight, but as an introduction I thought it did a good job.
I blame this soundtrack for piquing a curiosity in me for electronic music that I never really lost. Listening to Xpander (Edit) by Sasha for the first time as a 9 year old on the Wip3out soundtrack was an interesting experience!
If it turned out to be an endemic, it should be known and treated as such. All companies that are proven to fall into this should be pressured to fix it.

Why would you even assume it would change the burden of responsibility and guilt?
The game shipped on a CD. What's more, after the game booted, you could replace the game CD in the Playstation with your own music CD and the game would play the music from your CD, apply the environmental sound effects, etc.
Humor is not HN community's selling point I guess.
One of those relatively few circumstances where structuring the company into service teams is nothing but a hurdle, rather than a net advantage, to delivering on customer expectations.
"Seeing Like a State" by James C. Scott

I started my career in international development, and the book above provides a dozen case studies on states using scientific management, stats, etc. to try and control their growth/populations/economies and failing miserably.

It is a beautiful book in that it illustrates how difficult it is to actually manage a country and economy well, especially if you are trying to completely change it (i.e., "develop" it, solve poverty, etc.). It humbled me as a 22 year old "professional" wanting to fix the world.

"The Death and Life of Great American Cities" by Jane Jacobs is a close second to this theme of economic, technocratic development.

EDIT: I notice 22 upvotes. WOW! If you are a fan of this book or curious to hear more, please comment. Happy to elaborate. If you want a third book, The Evolution of Civilizations[1] is another fun one here. It tries to apply scientific principles and hypothesis testing to historical analysis!

[1] https://10millionsteps.com/review-evolution-of-civilizations
as too*
Unusual in the sense that getting vouched as an outlier, not necessarily as an indication of the article quality.
> how you've been coding for a very, very long time

I think comments ignoring or dismissing any technology or tech-industry attitude/habit from more than about five years ago would be even more Peak HN.
I don’t think “constant supervision” is considered moral by the majority of people.

Most people I know consider it moral to supervise kids in new or dangerous situations.

Parenting from my experience is many shades of grey rather than “right” vs. “wrong”.
We don’t know. Well, we can pretty well assume it’s not unique, but less common than when I was a kid.

Regardless: what you’re asking is a good topic for a different article. The allegations are that Tesla management ignored the complaints and in fact took action to continue the problem (e.g. when VIPs showed up). Some of those issues are criminal, and either way, if true, require reform on the part of the company.
I see some people in the comments saying they strongly prefer Linux desktop to Mac/Windows. If you are one of those people, I am curious - are you comfortable changing system configurations, using the terminal, updating system software by hand, etc? Because I quite enjoy playing around with Linux on the desktop, but I would never suggest it to anyone who isn’t already familiar and enjoys that sort of stuff.
There's bad behavior everywhere, but this seemed to be a few leagues over the average.

I don't know how Fremont is, maybe there's high tension and rotten nationalism growing but still.
I'll still listen to a long Big Beat playlist when doing heavy coding. My go-to is still "Decksanddrumsandrockandroll" from Propellerheads.
There is also https://github.com/restic/others which has some keywords (e.g. is it encrypted, does it do compression) for most FOSS backup solutions. It can be outdated or incomplete for some entries, though.
I can't name a single messenger with worse user experience.
We hackers like to complain about stuff that bother us, but the truth is they don't bother anyone else but us. Firefox didn't lose marketshare to Chrome because it had telemetry. Users don't care about it, and if they did, they'd know Chrome is doing it much worse. Same for "cloud nonsense and ads" - you really think they disliked it so much, so they went to Chrome were they are forcefully logged-in, have every action linked to their Google account and have inferior adblockers? C'mon.

It's kinda like saying "I'm moving to North Korea because freedom of speech in the US sucks!"
Working as an UX Engineer, I always recommend „refactoring UI“ by Adam Watham. It‘s super easy to read, most pictures speak for themselfes.
This book targets developers who like to put their UI on the next level.
Sunny and 26C is pants weather?
just in case, someone posted the wbm link http://web.archive.org/web/20220327154828/https://spectrum.i...
On the Nissan Leaf, the CHAdeMO fast charging port connector exposes (one of) the car's CAN busses (a little in-car network). It's unauthenticated and has commands for charging and discharging the battery. The car doesn't need to be turned on, the vehicle computer wakes up any time that a charging cable is connected. The only security is a small door that covers the charging port, but I'm certain it could be jimmied open with a bit of patience.

So yeah, it's absolutely possible to just walk up to a random Leaf on the street and extract DC power from it (e.g. to charge another EV or power an AC inverter) but you'd need to build your own cable and controller, and also 500VDC at 100A is extremely lethal so it's a terrible idea....
Pre-Allocated Lists in Python
I wish. As far as I'm concerned, Hack was a better language and I wish it had taken off. But no. For one thing, HHVM supports XHP by default, but PHP doesn't, so you still need a separate framework with a DSL to safely handle HTML in PHP. Hack also had async/await, type checking and generics.

Also PHP's Composer no longer supports Hack. Hack was supposed to get its own package manager but AFAIK that never materialized.
So what monitor do you use then?
...and sitting on HN trashing Twitter users is different how, exactly?
Chat/teams itself yeah, compared to slack; and it's mostly/only UI related. Video and audio is leagues above however, and recordings integrated with Stream works like a charm. It's unbelievable how shitty audio and video is in slack however. If microsoft got its UI/UX game, it's easier to get that right than the other way around.
Is the Google Graveyard not itself bilious?
Yeah, there should be a KilledByApple website that includes Zune.
FYI MonoGame is the continuation of XNA and is still used for game development, pretty sure Stardew Valley was made using it.

Very approachable “code only” game engine if you already know C#.

I’ve been playing with it for a hobby game project and so far everything works perfectly on both Mac and Windows which was surprising, didn’t even have to change a build flag or config file just starting debug on Windows or Mac Visual Studio has worked.

Not only that but a random old Logitech controller connected to the Mac worked out of the box with Xbox controller code from Windows.
Atul Gawande - Better or Being Mortal

Non-technical but very interesting and emotive to most people.

Healthcare analytics
I saw that, I was specifically wondering about different regular S3 implementations like Linode object storage, Digitalocean spaces, Wasabi, etc
Racism in auto manufacturing seems to be as rampant as sexual harassment and discrimination in tech. Without even trying that hard:

Ford: https://www.hometownstations.com/news/ford-employees-say-rac...

GM: https://www.cnn.com/2019/01/16/us/gm-toledo-racism-lawsuit/i...

Toyota: https://auto.hindustantimes.com/auto/news/toyota-says-it-no-...

Honda: https://www.courthousenews.com/honda-plant-accused-of-tolera...

That being said, this isn't the first time in the last few years there's been a suit against Tesla. Either this isn't been a focus for management, or their remediation has been deficient in preventing this sort of toxicity from flaring up out in the open.
I guess they realized that it was more economical to put the crap inside of the software rather than the other way around
What about Teams makes you think that?

My experience has been the opposite. But that could have just been that it fitted our setup well. Or that I haven't tried better.
Thanks, this is helpful!

Zig appeals to me for its philosophy, simplicity, community and cross-platform build tools. The main reason I haven't already adopted it is the lack of docs/educational material that has made getting started pretty rough for a frontend dev. A lot of the existing docs seem to start with the assumption that you're a lifelong C hacker who is already comfortable with manual memory management, libc, allocators, linking and all the rest, and that you're coming to Zig to gain quality of life improvements over C.

I've dabbled with Rust/Go and found the docs/books much more accessible. But I didn't end up feeling an affinity for either language quite the same as Zig. (For Rust it was the complexity/readability and sluggish compile/dev loop; for Go it was the feeling that it wasn't really empowering me to do much that I couldn't already do quite comfortably with TypeScript/Deno, or stretching me to understand lower-level programming the way I'd hoped.)

Thank you for zigmonthly.org and for Mach! I just sponsored you on GitHub. It's encouraging to hear buzz around Zig and see it being used for fun things. I'm tempted to persevere with Zig and write docs/guides pitched at those outside the traditional systems programming realm as I gain confidence with it.
They're not too lazy to learn it. They want something that doesn't only work on Windows 10.
There is a difference between making an understandable mistake and doing something that should make you ashamed for being that dumb.

Nuking your phone in the microwave is in the same category as baking it in the oven. You really shouldn't be surprised when you don't have a working phone anymore.

I don't think it is wrong of us to expect better from a bunch of adults. They should know better.
To be honest I don’t think it is the cost of benefits but the ability to fire people quickly without having to find other work that is appealing to companies. If some big grand idea flops and it’s 200 contractors, just don’t renew the contract. If it’s a lot of employees you have to move them around or something. Also, often contractor money is a different pile of money than regular hires/payroll. So people looking to empire build can do it more easily with contractors. Companies looking for lower costs will hire lower on the skill ladder or choose different cheaper locales, or drive off with more experience and higher salaries.
Semantle: Word2Vec Guessing Game
A super tight mobile os. Search, Maps. Excellent developer tools. Long term vision. This 10+ year android user is disappointed recently.
11degC and night time is shorts weather?!?!

Looking at the comments I suspect they have a Boolean issue in the code somewhere
+1, escalating privileges in order to drop privileges is counterintuitive and risky.

This was the best possible solution for a while, but things are getting better with Landlock introducing unprivileged sandboxing for file accesses. There are helper libraries in Go and Rust at https://github.com/landlock-lsm, and it's easy to play around with it with the landlock-restrict example tool:

$ go install github.com/landlock-lsm/go-landlock/cmd/landlock-restrict@latest
$ mkdir /tmp/lolcat
$ HOME=/tmp/lolcat landlock-restrict -ro /usr /lib /etc -rw /tmp/lolcat -- /bin/bash

The web browser I'm writing this from is sandboxed using the same example tool, so this works for bigger software as well. :) (Full disclosure, I'm the author of the go-landlock library.)

I'm having high hopes that this'll get used by a lot of other sandboxing software as well. :) (If you run into issues, please file bug reports, I'm interested to hear about it.)
I think Pear was the equivalent of Python's pip way back. Haven't really looked back since composer dropped.
> And my impression is that it's been a bit more than a year that the quality dramatically improved, and their hamburgers actually taste like food again.

Huh, maybe I don't eat there enough to notice differences, but on the occasions lately that I've had a McDonald's burger, I haven't noticed the quality being anything but terrible. Not entirely unpleasant, but just not at all a high quality meal, even compared to some of the other fast food burger places.
any physics book for hs... but without penalty of failing tests etc. Why sky is blue, how does heat get to earth from sun, how do computers work, how does magnet work, how to tell how far ball will go if i throw it, why do balloons stick to wall when rubbed, etc....
I don’t know if we’re talking about the same problem, but I previously solved something similar by binding a key that modified mouse speed. So if I need to go large distances with the mouse I hit the modifier and it zipped over super fast, let go of the key, and was back to normal speed.

I replaced my desktop/keyboard/mouse with an Xbox controller/rpi for a while in college just for kicks. Worked great.
Readable link on mobile: https://www.reddit.com/r/battlestations/comments/toecyt/dual...
Sounds like there is not enough competition in the space. A result of government zoning law no doubt.
call me orthodox/traditional, or just a creature of habbit, but for most of my adult life, i've just kept a userChrome.css which reverts the current firefox ui/ux du jour back to the classic netscape/mozilla suite xpfe interface (w/ a jwz-inspired throbber, just for fun)

i value productivity above all else, so over the years, I've found that a familiar interface that i have muscle memory for is the most important aspect of browser ui/ux, imo

https://imgur.com/a/xSoDYai
Wut? N900 was the best, most reliable, highest quality and most polished phone I have ever owned. It's not even close. How they f.ed that up is beyond me.
> Contrary to Google

Don't know that I really agree with this. Google does have experimental services and tools that they've killed (RIP Google Reader), but they have always provided migration for their core services. Look at Messaging, for example. Gmail chat -> Hangouts -> Hangouts Chat(?) -> Allo(??) -> Hangouts (again?) -> Android Messages.

The problem is not that they leave users completely stranded, the unending shift from app to app for no good reason is itself the problem.

And to be clear I do think Google is worse at this than Microsoft is. But the important difference isn't over whether they provide a migration path. Forcing your users to migrate every year or two is bad, regardless of whether the migration is handled "well".
Anyone interested in product management shoulder read "INSPIRED: How to Create Tech Products Customers Love" by Marty Cagan.
At the risk of being “that guy”, my solution was to buy an M1 MacBook Air.

At some point you have to accept that there is no one in the linux space incentivized to create a modern desktop experience, much less laptop power optimization comparable to a “vertically integrated” player like Apple.

I would love to get Apple hardware and battery life running Debian. Maybe Asahi will make it happen. In the mean time, I’m enjoying 99% of the things I like about Linux, with none of the massive pain wading through forum posts trying to figure out what bitman97 did back in 2015 to get their backlight to work with the Debian stable kernel
Twitter Spaces was a direct response to Clubhouse becoming extremely hyped up during the first year of Covid.
Super excited for Zig to make low-level coding more accessible to people outside the usual group of lifelong C hackers, as you said! That's one of the reasons I am betting on it.

Check out https://zig.news too, it's where a ton of people are writing learning material / little tutorials on things.
Yikes. I am unwilling to take things that far. But, my password is fishprongstudypost953 if anybody wants to steal this account
Thanks for that charming bit of history. Humorous but also astonishing that the cores were salvageable after such rude treatment. The use of such cores was before my time in the computer world so I have no experience with them. I wondered if the tiny cores could have been scooped out of the ashes by a magnet. I'm sure the engineers would have thought of it, I'm guessing that would have damaged them. (Or more likely it wasn't even possible to collect them that way...)

Threading the burnt cores onto needles would definitely not be my idea of fun. Though I imagine a needle full of them would resemble a string of beads. Come to think of it, as described those cores would make a mighty interesting necklace (and FWIW my wife thought so too).
I tried a couple of different programs for personal use and udt/wft wouldn't compile for me even after 2 hours+ messing with it

CERN's fdt https://github.com/fast-data-transfer/fdt was way better. I did use it over ssh port forwarding which artificially slowed things down, but it saturated my uplink to 300-400 MB/s
Another one like code but even more gentle is Understanding the Digital World by Brian Kernighan
Ideally I wish to be a full-stack developer, I hope to work at established companies for years and gain as much experience and knowledge so that in the future I do contract work or start my own startup.

However for now I'm open to taking other roles as you mentioned and utilize my bilingual skills. I just wish for it to related to computer science. You mentioned customer facing roles, do mean like customer service? I'm open to getting AWS cert if thats what you mean by Cloud Solution Architect.

I haven't looked at startups in Lebanon, I'll definitely take a look. I suppose your correct about looking for remote work from other countries, which countries do you think tend to hire people from the middle east the most?

thank you for your sharing on this thread, I'm definitely gaining valuable information.
Parent is working on scheduling tools for NA meetings.
Yes some things are important and can’t be broken without some serious real world consequences.

MVP is “the first thing that stick”. The method to get there should be meticulously engineered to cut as much iteration time between prototypes as possible. When your ugly prototype shows strong traction by its own and test users are asking you to keep the prototype then you know you have a rough diamond to cut.

Obviously when you have a sizeable user base, know the market very well and your market isn’t that much competitive you are at an advantage.

Beware of market expertise ego and dogfooding as it only reinforce your expertise and biases. Bring industry newcomers to your project for feedback, it’s the only way to make sure your expertise doesn’t make your product only valuable for yourself.
I want one in my house.

Link to the actual study.
https://www.nature.com/articles/s41598-022-08462-z
I can confirm that this book made me interested in "real" engineering (as in, engineering physical things in the real world rather than abstract symbols) when I read it. A bit too late for a career change, but I have talked to a few other people who hold this in high esteem as well. Good recommendation!
> I rather pay a developer for support and continued development. If the only difference between these apps is one is a rip off of the other and doesn't cost, that's not a very compelling argument from my limited perspective.

If you're adverse to taking things for free, you're always welcome to donate to the lead maintainer. Nobody is forcing you to take stuff for free, but conversely, arguing that something must be lower quality because you didn't spend more money on it isn't a very compelling argument either. Sounds like the same argument all those proprietary UNIX vendors made before... well, they became irrelevant.

> Also, the commit comments on this project are total WTF.

Man, imagine if you could look inside the VCS for Things... Who knows what kind of dragons lurk in there.
I'm sorry I rephrased your text, but you did write "v1 remains the best UI firefox has ever". How is that so different from "the best ever" is beyond me.

What browser did you move to after you uninstalled Firefox because of the click in the URL thing? Seems like Chrome does the same. To me it actually makes sense - I think most of the times when a user reaches the URL they want to put a new one, not to edit the existing one. This behavior makes that easier.
Honestly doubt it - I watch files/diffs side-by-side constantly - at 120 line length with a 15 inch MBP there's just no way even if I kill the explorer panel - I can just barely fit it when i zoom out one level from my comfortable font size and have the panel closed - but that's not a great experience for me.
It does. They're called "Todoist"
I bought a 5G-capable router because I was moving house during covid and couldn't afford to wait potentially weeks for fibre to be turned on.

It was only supposed to be temporary but it's so good I never bothered getting fibre. While latencies are worse than fibre I can still play Battlefield V on it, and I spend most days ssh'd into GCP machines in various regions.

I can take the router anywhere, and use any network provider I want.
Depends which back-end you use and which configuration. (Assuming "node" here means a backup client and not a backup-hosting server.)

If you just put stuff on some standard storage (FTP, B2, etc.) without any permissions set up, then no backup client could stop the attacker from using the credentials you've deployed to the backup client to login to your storage and delete your backup files. This is not really specific to restic.

Accessing old files from a backup client is a weakness. Though, personally, I don't store things on a system that this system is not supposed to know, so if someone compromises this system and they see data from the past year... that's nearly the same as just seeing the data that is on this system today. Nevertheless, this could be solved by using public keys, so the backup clients has an encryption but no decryption key (of course it's not as trivial as this sounds, e.g. how could it still do deduplication etc.), but restic does not do this.