skysight-inc/HackerNews huggingface dataset:
I'll add:

You mentioned the Arduino, which would be a tricky choice if you're assuming one of the AVR-8 variants. The trouble here is you do not have enough RAM or the bandwidth to the RAM to support a framebuffer or even a tile system.

I have seen display systems for the AVR-8 and they are all designed to reduce the bandwidth requirements. One approach would be to write to video RAM through ports the way the TI-99/A did and the Commander x16 does (avoids the 'your CPU is dog slow because half the cycles are stolen by the video system' problem most of the 1980s micros had) Another is to make something that is driven by commands, for instance https://en.wikipedia.org/wiki/ReGIS.

The Raspberry Pi route is easier since it already has a display controller and it much more capable to begin with.

The CX16 points to one route which is to revive the old home computers, and particularly there is an existing culture of "type-in" programs in BASIC, you can find a lot of old magazines and things like

https://doc.lagout.org/science/0_Computer%20Science/0_Comput...

So one route is to try to build on that.

Now you can certainly repackage a Raspberry Pi so that it looks like one of these

https://en.wikipedia.org/wiki/ZX80

or looks like a handheld game console (how do people "type" into that?) and have some kind of language system on it. Back in the day it was BASIC, which people at MIT were furious about throughout the 1980s. Today we have a lot more insight not to mention better hardware so today we could build something similar in spirit but better, particularly from the viewpoint of games programming where BASIC never really gave you the access to graphics and sounds that you'd want for that. See also

https://en.wikipedia.org/wiki/PICO-8

Note the CX-16 runs into fundamental problems w/ the electronics industry. The current version which is made out of DIP chips on a motherboard is crazy expensive for what it is, but it has the advantage from a hobby standpoint that it is real hardware you can make cards for, hook up an oscilloscope to, etc. It still performs much worse than a Raspberry Pi that costs a lot less. If they ever get to the point where they're selling 10,000+ units they could cook the machine down to a few chips and make something that costs about the same as a Raspberry Pi but doesn't perform as well... and isn't amenable to hardware hacking the way the original CX-16 is.
There is regression toward the mean, so if Florida had an unusually good year, we would expect that next year to be worse then this year.
When you look at nooa data, it's not even a record, adjusted or not, 2005 and 2017 were worse by a lot. https://www.ncei.noaa.gov/access/billions/
I've recently left GDS, so I'll try to explain things from my perspective.

Firstly, the salaries are slightly misleading. There is a special non-pensionable pay supplement (DDaT) which improves the salaries considerably.

Benefits are very generous. Obviously there's not stock plan, but the guaranteed pension is fantastic. There's also good parental leave, holiday allowance, and things like that.

But, more than that, it attracts people who wants to make a difference. You could go to work for a start-up developing an ice-cream on demand app - or you could work on a nationally important service which improves the lives of millions of people.

Some people join because they want a "big name" on their CV. That's fine; you expect people to go off to bigger and better things. The know that a lot of what they work on will be open source - which serves as a great portfolio for them.

Some people join because they want to work with "decision makers". There's lots of movement between government departments, so it isn't impossible to go from being a junior developer to briefing a Minister if that's your aim.

Finally, it genuinely was a great place to work. The people are friendly, the problem is interesting, and the work is important.
My laptop isn't dying, dude. It works perfectly in Windows 11 and X11, including running the latest games.
Exaggeration. It was exaggeration. As explained in the other comment, this is an observed trend, not a universal rule.

If male students are silent or don't brag I treat them exactly the same way as I treat female students that are silent and don't brag. In the rare case of bragging female students I treat them the same as bragging male students.
Nah. The real win here is for the public. The "standard" charging plug and cables weigh a LOT, so much that my elderly mother probably couldn't use one. The "standard" also mandates the use of PowerLine Communication chips even though the signal is not over the high power conductor.

We are all better off just biting the bullet now and changing everything over to the Tesla plug.
It has the afterburner, but it is arguably not complete without the variable geometry nozzles (yes, there were two) and intake.

There's lots more information on the nozzles here: https://www.heritageconcorde.com/variable-exhaust-nozzles

Takeaway quote:

The intake and variable exhaust system are together responsible for a good deal of Concorde’s thrust development: about half of the thrust at Mach 2 is due to their combined effect.
Swimming Pools and Granite Countertops: How College Dorms Got So Expensive
Weird comparison. High growth unicorn revenue and income from a bond.

Probably should just compare $1bn cash to their company valuation and what another round of investment might look like. How much equity did they get to “keep”.
For 2, Mamba makes some A B C weights that in S4 are time invariant become functions of the input, which makes it more powerful.
Those are great questions! Let me add a one addendum to bugarela's excellent explanation, to help disambiguate these three formalism:

1. TLA[0] is a logical calculus invented by Leslie Lamport.

2. TLA+[1] is a formal specification language, also invented by Leslie Lamport, with semantics based on and reducible to TLA.

3. quint is also a formal specification language with semantics based on and reducible to TLA.

TLA+ can be understood as TLA extended with syntax sugar to help describe systems. On top of the logical calculus it adds niceties like `LET` bindings, syntax to represent common data structures, `CASE` expressions, a module system, etc. But TLA+ also exposes the underlying logic directly, making the language extremely expressive. The flip side is that nonsensical formulas which may not be checkable are pretty easy to write.

quint is a (programmer friendly) syntax that, while also desugaring to TLA, gives up expressivity to add the guardrails that we've found most helpful when specifying the systems we work on.

Please let us know if you have any followup questions :)

---

[0]: https://en.wikipedia.org/wiki/Temporal_logic_of_actions
[1]: https://en.wikipedia.org/wiki/TLA%2B
Part of this was the tech, I think.

Writing the 1 depends on the precision of the magnets and I suspect they just weren't able to utilize the media better, with the tech of the time.

Now we use lasers. ;)
Fun as in buffoonery.
Why did you conflate 'profit maximizing business' with 'industrialization'?
You can also:

if ( ! Nodelist.prototype.map ) { Nodelist.prototype.map = Array.prototype.map }

So map() works. forEach() already does.
Genuinely I think that’s the case.

I have been in “AI” since 1998 when I was writing A* route planning for npcs in this new cool engine called Unreal.

The only thing that has been consistent in all these years is that nobody thinks it’s AI unless it’s literally like Arnold Schwarzenegger in the terminator. I mean I’m not even exaggerating, it’s so ridiculously predictable that the goalposts for AI move the second whatever that particular technology becomes ubiquitous

So for example, hog sift, surf etc. along with localization algorithms like slam type systems we’re so thoroughly in research when I started that they were considered a pillar of the field of AI. Now literally, no one would consider those AI because they do not use deep convolutional networks.

So just like Marvin Minsky said AI is a suitcase term that doesn’t fucking mean anything. As somebody who’s been doing it for so long I’m used to it but it’s still annoying.

So I’m just building the terminator and the counter terminator so we can move on.
I wouldn't call myself a denier, but I've gone from accepting the science to mostly hoping it is in fact wrong because it doesn't look like humanity will be letting off the metaphorical accelerator pedal (not this year, maybe one of the next few years will see an actual decrease in carbon emissions?). What else is there but to hope it isn't so bad?
I don't think it's easy to get access to the PhotoDNA database. And it would be a service that people query against, so they'd have an audit trail.
Where do you think they got this idea??
China EV maker Zeekr unveils fast-charging LFP battery
Spotted the person who has never been detained/arrested and then searched in public before.

Trust me man it’s especially degrading not to mention time consuming.
This is just imagining future scenarios, but I don’t see an inherent contradiction. That’s one way to end up with a monopoly.
Instant Messaging: Protocols Are "Commons", Let's Take Them Seriously
Exploring the 'Commons' in the digital economy. I discuss the French government's endorsement of a proprietary messaging platform, highlighting a deep misunderstanding of key digital dynamics.
I expect a degree of intelligence to be important in the adapter. Specifically, unless the adapter is rated for the highest possible current and voltage that the physical form factor can support (1kV, 600A? Is there even a pre-ordained limit? Tesla reports that they’ve tested NACS up to quite impressive voltages and currents.), then the adapter needs to tell the car and/or charger to limit voltage and current. Otherwise it risks arcing and/or overheating.

Also, whatever water cooling magic keeps the charger plug and its terminals cool won’t cool the adapter.

Even the little charge-a-J1772-car-off-a-Tesla-level-2-charger hack adapters are generally dumb adapters designed for 40A or so and are not safe if connected to a full-spec 80A EVSE.
Blaming collective action problems on techbro culture. History would like some of your time :)
Reflex (YC W23) Is Hiring: Fullstack / Open Source
Had a conversation with a friend yesterday about a case [1] where students at Oxford spent 500 years swearing irreconciliation with a guy from the 1200s as a part of their graduation vows. When it was reviewed in the 1600s, someone suggested removing the clause, but it was turned down. Rules and traditions have reasons, but it is interesting to think about how many we follow all the time without really understanding why.

Cultural DNA (traditions, rules, and the 'right way') encode a lot of useful experience - but environment and circumstances change. And sometimes it just picks up weird things along the way.

[1] https://news.ycombinator.com/item?id=38710661
Woah that is a great resource, I've been looking for something like this which shows an easy way to exemplify the various anomalies. Thanks for highlighting it!
You have an alternative for handling law breakers aside from just letting them do it?
Doesn't have to have anything to do with probability. If fewer resources are spent repairing and re-building and the last hurricane event is out of people's minds then I would expect there to be more building resulting in more damage next time a hurricane comes around.
Remember juniors have it tough in the employment market, so some of this could be due to RDD, so they can tack on SQL, ORM, managed vm infrastructure, on their resumes.
Agreed. Thank you Tesla for helping bring about a better standard here!
It looks like this might be the issue:

https://gitlab.com/qemu-project/qemu/-/issues/334

I wouldn't think that qemu would be associated with a display in the required way here, but maybe being launched by a GUI app that's not a terminal emulator is somehow enough?

Related bug affecting Lima (blocked by this one): https://github.com/lima-vm/lima/issues/2

This is the first I'd heard of 'app nap'. I guess macOS does iOS things and actively freezes apps it thinks are idle.

Maybe it has to do this to get passable battery life during sleep, now that Macs don't actually sleep (S3) anymore?
I think you’re being unfairly harsh. It’s good for workers to refuse to carry out orders that are unethical. Ideally, such actions would be carried out collectively by a union branch or some other worker organisation. But if that’s not feasible, the next best thing is for individuals to push back on unethical initiatives.

Also, not everyone agrees that the best way to counter the ills of capitalism is to replace the whole system with something else that may be better but could be worse (in different ways). Being so casually dismissive of such people’s effort to improve things within capitalism means they won’t ever be interested in ideas that go beyond reformism.
> In C++ there is no individual units

There's a still a notion of the compilation unit, which is the cpp file on which you invoke the compiler. Due to templates being prevalent in C++, included files contain the implementation as well; so any changes you make there lead to re-compiling a lot more compilation units than, for example, in C.
Massimo CEO on the Dispute with Apple
Dear ImGui: Graphical User Interface library for C++
And they still are, to this day in Elite Dangerous. Somethings never change.
I haven't been able to get a good search result yet. I tried "how do i improve my lap times at bathurst in assetto corsa competizione" and got a couple of irrelevant results about Mario Kart. I tried "how do i plant a tree in clay soil" and got only one result, about a tree planting cannon. Pretty bad.
Wouldn’t adjusting historical values for inflation actually increase the magnitude of the numbers? Eg $100 in 1980s is $300 in 2023 (or whatever, not real numbers) - the number is larger, not smaller.
> using material readily at hand.

They couldn’t resist that last line.
> Nobody else wanted to take up the mantle of maintaining an X implementation.

This is the most surprising part to me.

Despite the volume of end-user complaints I haven't seen any developer stepping up to take over the soon-to-be deprecated X.Org Server or advertising their alternative X implementation.

Even if it remains niche like the various systemd alternatives it seems like a lot of people would be grateful.
By the time we put our paper on arxiv this paper was not out so we were not aware of, but it is similar in some ways. Both this paper and us are reliant on our previous paper https://arxiv.org/abs/2310.04564 and dejavu https://arxiv.org/abs/2310.17157.

They are targeting limited gpu memory and limit cpu to gpu memory transfer. I don't know how it could be useful on Macs because MacBooks have a unified memory and you don't need to do that transfer necessarily.
Was the comment "Maybe when AI gets good, we can have exciting conversations" about the chat interface and lack of instructions? If so, I found it unsuited for its apparent purpose.
But you have three feeds giving you three phases to use, so 3x the power available to you. Out here, even electric stoves (with ovens) have 3 phase connection options and tankless water heaters almost exclusively come as 3 phase models.
Reasonable applications would use something like SDL to abstract it.

But it depends on complexity. Wine for example implementing Wayland support is a big deal and it's not trivial.
> that talent will still exist once the money printing press stops working

This is a tendency that has existed for generations, pre-dating the invention of central banking. It comes with tremendous costs—we see that in our inequality and homelessness. But the counterpoint to that is individual agency, regulatory reticence and capacity for innovation (and the blending of ideas, given America is a multigenerational multiethnic nation) that is relatively capital-intensive for others to match.
From the original paper:

> ChaCha20-Poly1305 [30] directly
uses the sequence number in its key derivation, which makes
it vulnerable to our prefix truncation attack...

> Note that the fault is not with ChaCha20-Poly1305 as an
AEAD encryption scheme, but with its integration into the
SSH secure channel construction.

See here: https://terrapin-attack.com/TerrapinAttack.pdf
My wife's Toshiba laptop was bought in 2005 and still works. It's a 32-bit machine with just 1–2 GB of memory, but I put a SSD a few years ago and with this setup Linux runs fine. I still use it sometimes, as it's the smallest laptop we have in our house and it's handy to use it while in bed for browsing and checking mail.
Very many of them do. They weren't meant to be filled, lots of them are open paths that will just look awful filled.
Any organization made of humans is indeed fallible and corruptible. I have heard some dark stories of this. They are not mine to tell.

Still, the people who say they are trying to uphold a responsibility are more likely to do so with care than those who are trying to do something else.

If a father needs someone to watch his 4-year-old daughter, is it wiser to drop her off at a daycare or at a post office logistics warehouse?
Oh, that's the best part. The support team sent me an incoherent message semi-explaining the ban and then blocked my email preventing me from responding to explain their mistake! Just stone-walled with no path for remediation. And just to be clear, I was not being rude/aggressive in my messages or anything like that.
It's not in total damage, but number of events, i.e. 25 this year so far.
I have a love/hate relationship with the 1541s.

Just the absolute worst drives ever released to the public, but it was that or tapes and while most will agree that the 1541 was a slow FDD, waiting 30+ mins to load a tape (don't forget to flip it) was much worse.

Then copy protection companies decided that the very best way to CP software was to create unreadable/unwritable sectors and let the drive slam the head against the arrester trying to read it, because they didn't have to replace the drive. That was a you problem.
> This makes it less likely it’s a bug to me.

It has happened in the past with other entertainment apps as well. [0],[1],[2] That's the main reason I think this is a bug.

In this case, this build is also hiding FSD Beta from those eligible for some reason until the car is rebooted.[3]

> Most OSs will automatically unhide an app icon

Tesla isn't using an off the shelf UI though, so why would that apply? IIRC they use Ubuntu as the underlying OS, but I doubt that would have any affect on this.

[0] Tidal: https://teslamotorsclub.com/tmc/threads/tidal-app-disappeare...

[1] TuneIn: https://teslamotorsclub.com/tmc/threads/tunein-gone.262861/

[2] All media apps: https://teslamotorsclub.com/tmc/threads/tesla-theater-blank-...

[3] FSD Beta: https://twitter.com/teslascope/status/1737413197781696609
> Who ever argued it was?

I think lots of lobbyists were making such arguments about the DMA in Europe.

> That’s a bogus argument from Beeper. Why would Apple trust them?

This has little to do with beeper's client. The point is, apple could easily bring imessage to android and doing so would increase their customers privacy, because now all their android conversations could be e2ee. apple of course chooses not to do this even with how trivial it would be, showing that their privacy focused marketing is really just empty words. Beeper's role here is simply bringing more attention to this two faced apple propaganda.

> https://www.techemails.com/p/imessage-for-android

It's possible that imessage wasn't brought to android for monetary purposes early on, but at this point it's pretty clear there's a large segment of android users willing to pay a subscription to get imessage and that would be practically free money for apple. I think the main reason they still haven't included android is it goes against their vertical integration philosophy. They want to control everything (they don't control android, or the android app store) and are willing to make sacrifices and gambles in pursuit of that (eg them sinking loads of money to try and engineer their own modems even though it is likely to be worse than qualcomm's for quite some time, and who knows if they'll ever even ship an iphone with an apple modem before they shut the division down).
Xbox Cloud Gaming (Beta)
There's nowhere in Florida that is insurable, though. Hurricanes are regularly wider than the entire state. Even if it just has one-half of the storm hit it, the entire state is still likely to be hit.
How long does it take to charge if my EV battery is at about zero with a supercharger? The same time it takes to pump gas?
https://www.commarts.com/magazines < their annuals list only the best design

https://www.printmag.com/ is a blog with good regular posts by top identity designers

https://medium.com/theymakedesign/branding-agency-new-york-3... < recent list

I don't know how up-to-date they are but GRAPHIS has always been a good resource: https://www.graphis.com/archives/books/logo-design/
> Is my cash compensation adequate? A down-round can make stock grants worth almost zero unless there's a huge rebound.

Most startups fail and options and equity become worthless regardless.

In my experience, the biggest changes will be in morale and company culture. There is a chance that the company gets hit by the "Dead Sea Effect", all the talent starts leaving because they can find better opportunities while the lower tier devs stick around.
230V nominal in EU
Interesting, I was out of the loop on this one because I specifically went to the React docs for routing.
They cannot be expected to produce useful new ideas because the ideas exist in lacunae in their probabilities: despite the extant possible novel combination of ideas (which isn’t the only option for new ideas: neologisms exist), the LLM has never seen it and so will (probabilistically) never produce it because it is equivalent to nonsense.

The exception to this is if the new ideas are somehow present in the structure of language and are internalized and/or presented in an emergent form.
I was specifically talking about Servo as a rendering engine. Just open their own website in Servo, and look for all the rendering problems present :)
Stop wasting everyone's time.
I would be pretty surprised if it was being that clever.

Im pretty sure it's referencing conspiracy theories about the Clinton's hiring hitmen and related ideas.
Firefox has a setting to block autoplaying media, weirdly in the "Privacy" tab of Preferences. I also set "image.animation_mode" to "none" to disable animated GIFs. A couple videos manage to sneak through here and there, but that seems to catch 99% of autoplaying videos/animations.
Have other protocols somehow updated and made this chart[0] obsolete?

[0] https://atadistance.net/2020/06/13/transit-gate-evolution-wh...
Couldn't agree more. Learning bad things - not that TDD is bad, or anything, but over committing to it might be - is a huge part of understanding why certain approaches are better or worse than others. Although, I suppose 'making mistakes is the path to learning' is already conventional wisdom, so.
With three phases in Europe you get 400v, which means less amps for the same power, which means lower losses or thinner cables?
Nope, the other app they mistake for mine was taken down too. Maybe with just cause, I don't know. All I know is my app was unrelated and innocent.
See my other post, but yeah Dribbble definitely has some good ones. Check https://dribbble.com/shots/popular/branding
J.Conway: The opposite of deterministic is not random (2015)
AI Templates and Playgrounds for Your Business
The ebay listing is for collection only. But you can just hire DHL or whoever to ship it, even if a 5 ton pallet (once you include the stand) is a bit heavier than normal.
60k-80k is over 50k, which is the range he was talking about. So what are you complaining about?
> How would Vulkan implement that?

See the post. They are working on AV1 extensions.