skysight-inc/HackerNews huggingface dataset:
Does "parse, don't validate" apply regardless if the resulting type is a newtype or constrained by construction?
Launch HN: Ruffly – Intelligent planning to save software projects from failure
what are the most practical strategies to maneuver such a resource? there's too many to go through one by one, and i just want to know what stack i want to use.

it'd be cool if there was a tool that leveraged all this knowledge and presented a wizard that helped you find the best stack based on your preferences and needs.
It's understandable that we refer to the cold-war when we look at the rivalry between China and the US. For one, it's resembles the most recent conflict between two super-powers, and, for the other, it also carries this notion of capitalism vs socialism on the other.

Yet, I feel this misses the point and, more concerning maybe, also downplays its potential danger to the world. In my opinion, the situation that most closely relates to current state is the rivalry between Germany and Great Britain in the late 19th century and then throughout the early half of the 20th century. While I think the similarities between the UK back then and the US now don't need much explaining, the similarities between Germany and China are also pretty stark: both gained traction as exporting economies. Both states are characterised by strong central leadership and the idea of a homogenous ruling people (not referring to modern Germany here). Both were/are a little late to the game of Empires, playing catch-up. Germany had developed more efficient and streamlined forms of bureaucracy that allowed the state to develop greater reach into society, similar to modern day China.

Interestingly, even though both Germany and the UK were fully aware of the devastating effect of machine guns (since they both used them to suppress uprisings in their colonies) they discounted their impact when they decided to go to war in 1914. I fear a similar situation could arise with today's nuclear weapons, and the rivalry between the US and China.
This brings us onto the most interesting point. Virtual DOM libraries aren't necessarily the only/best solution.

That is surely true as well. Even a perfect implementation of a VDOM library is necessarily doing a lot of extra work compared to direct DOM updates if you already know exactly what needs changing. For a “typical” SPA, if there is such a thing, React’s virtual DOM system is fast enough to make its declarative UI strategy viable, which is enough to make it widely useful. However, it can still become a bottleneck given sufficiently demanding conditions. React without a lot of help can still choke quite easily if it’s asked to render something like a table with thousands of cells or an intricate SVG diagram that needs to animate smoothly.

Giving React the help it needs typically means bypassing some of the diff logic one way or another, for example by providing sCU in a class-based component or a list of dependencies to hooks. However, these kinds of changes also introduce potential inconsistency between what you’d normally render and what gets rendered with a bypass in place, which creates an opportunity for bugs and seems to be fighting against the whole idea of declaring your UI once and then letting React worry about all the details of maintaining it.
How social media is preparing for US election chaos
Isn't the goal to provide an affordable computer to those who currently can not afford one? Instead of selling a cool collectible…
Thanks, it makes sense
How We Made a Slack App in 11 Days
Maybe they meant to say the illusion of democracy dies.

Media outlets owned by the rich have controlled the flow of information for centuries. Most of those journalists had no problem suppressing stories which didn't directly affect them as long it a) gave them "access" or b) was acceptable in their social circles - which were often composed of socialites, the rich and the descendants of the rich.

As bad as social media is(and I think it is bad), at least now people are able to see more clearly how the sausage is made.

The glorification of politicians and celebrities will hopefully die.

The realisation that celebrities aren't intelligent or have a better grasp on a situation will become clear.

Fame doesn't make you clever. And most of these people are far from intelligent to begin with. They are just puppets for the puppet masters.

Propaganda comes in all forms and celebrities are the lowest hanging fruit.
I’m curious, what do you do during the day when you’re driving for 12-14 hours each night on these 2-week tours? Sleep, I would assume! Why not sleep at night and drive during the day (traffic?)

Aren’t you “wasting considerable time” by having to sleep as soon as you arrive at your tour destinations?
Industry term. But it is usually unknown to people who tend to use id as primary key for every table.
Is affordability the goal?

I thought inspiration was.
There are countless Android phones with eMMC without much problems
Because it fits in with the Roman-empire aesthetic that is so prevalent in DC?
After combining two broken Amiga 500s into one single working one, I had an Amiga case and an Amiga keyboard left over. The nice thing about the Amiga keyboard is that it is pretty much a serial device, so it wasn't hard to set up an Arduino Pro Micro to act as a keyboard-to-usb adapter.

Then I put in a Raspberry Pi with a Retropie SD card, two gamepads, a mouse, and that's all.

I didn't put a lot of effort into making it look nice, so it's basically just a bunch of cables coming out the back of the Amiga, but at first glance it's still an ordinary Amiga.

Works pretty well overall for Amiga, C64, Spectrum, Atari, and DOS games. Of course boot time is not great, and add to that the time spent navigating Retropie's menu system, it's all a bit of a hassle. It does work better than my actual Amiga for "productivity" applications because I can set it up with more memory and better networking options.
+1 with the stack traces; I long for simple and straightforward, no magic applications.

The front-end ecosystem seems to move to the opposite; multi-stage compilation / transpilation steps even in development mode, with tooling to make it manageable and debuggable (source maps). The development mode of my current application needs to reload 35MB worth of stuff at every refresh.

(should look into whether I can optimize that, idk).
I've found my writing has stagnated due to lack of feedback. Unfortunately my friends and family don't seem interested enough in my writing to engage with it.
Did anyone use the Apollo player?
As I remember it, it had the perfect UI and was very sleek, supported conversions and some WinAmp plugins. None of that Skin extravaganza that gets old really fast.

https://web.archive.org/web/20131026034615/http://koti.welho...
As a person living in Canada, whenever I hear about advances in the auto sector, I say to myself, "Great! My grandchildren will be so lucky when the technology makes it here in 50 years or so".

Electric vehicles? The range is an issue even in warm climates. Canada is so spread out that more range is needed and so cold that the range you get is lower.

Self-driving vehicles? The gap between driving in Arizona and driving in a snowy Edmonton road is night and day.
It's absolutely not. In fact, the modern "left" of identity politics is medieval demonology tier; magical emanations from white men prevent the success of everyone else (except Asians somehow). Recycling or ... the purchasing of "carbon credits" (aka papal indulgences) will prevent world-destroying "environmental thingees." And of course, the various permutations on the Russia conspiracy theory is so comically 1950s paranoia as to be beyond parody. As was its similarly Hillary Clinton originated predecessor "the vast right wing conspiracy."

Of course there are actual conspiracies in plain sight which nobody is allowed to talk about without giving people the kook crown. Probably why there is a paranoid style in US politics; repression/converstion. We know we're being lied to. Two recent examples: Epstein allegedly killing himself and the Vegas shooting -two things which are completely bonkers, but which seem met with almost incredible incuriosity by the clowns in the media.
However US pricing is normally exclusive of tax whereas the U.K. price is inclusive of 20% VAT. 54*1.2 is around £65 so not that far off the £67 price.
I'd take the idea of using the PCIe lane for an SSD but I would take in the opposite direction. What I would like to see is a board in this form-factor and a slot for the Compute Module. The board could then be a (hopefully cheap) dock for the CM that we could have as the basis for different modes of computing. The CM + disk could be a portable "puck" that should be easy to plug into the dock.

What would that gives us? Well, I could get multiple of these docks and I'd just have to carry the CM puck around. If I am working I'd still like to use an external keyboard, mouse and a big display. I could have a dock on my TV if I want to play games or have "smart TV" functions. We could also have a "laptop version" of this dock and it would be like the Atrix lapdock. One could even imagine a dock in the form-factor of a smartphone/tablet.

Such a system would help a lot in fighting e-waste (we would be able to upgrade only the things that need upgrading, instead of being played into planned obsolescence) and it would also be an intuitive way to get back things from the cloud and make computing "Personal" again - the "puck" with the brains and memory would be the physical representation of the things that we have, the docks would just be the different ways to interact with it.
As said by @dwohnitmok it depends on the domain you consider. If you have a proposition quantifying over objects and functions operating on said objects, it's second order. But if you have a proposition considering only said functions as objects, it is first order (with a different domain: not the base objects, but functions over those objects).

And again: you can ignore such subtleties for most of mathematics.
But what's the shortcut for the random conference tool the organizers of this meeting decided to use?

Just make it visible. It's supposed to be a tool, function over form.
Why so many programmers lose hope in their work from time to time
> 30% margin

I know of firms which hire offshore programmers for $15/hr and bill the client $90/hr. (500% margin!) Of course, it helps if the client has plenty of money.
I was also a bit confused by this. For fine motor control, right handers will use the right hand, not the left. The hypothesis is garbage.
Is that generalizaion true for other forms of data theft too? I feel that way about some wrongly public s3 buckets and document leaks.
Yes, this so much. This is how I know 90% of the things I know now. You see a problem–some random thing is crashing, or using more RAM than it needs to, or you want it to so something slightly different–and you resist the urge to go "eh, I'll deal with it later or ignore it" and dig in all the way using all your tools. Sometimes you fix the problem, sometimes you learn something new, all the time you get better at debugging random stuff. At some point crashes stop being scary and thread safety issues go from "how could you have possibly known this" to "I can spot the issue from a partially-symbolicated stack trace of two threads and five register values" and your answer to "what happens when I type google.com into a browser and press enter" is "well, once I did that my browser hung, so I followed the HID system in the kernel to…"

The obvious disclaimer is this can make you slow to get things done sometimes–but you'll be lightning fast the next time it comes around ;)
>€69 (DE)

Where did you find that price? On the official purchase page[1] the lowest price is 97 EUR (which is around $113)

[1] https://www.raspberrypi.org/products/raspberry-pi-400/?resel...
for some reason I thought the title was Raspberry Pi $400 Desktop PC... but it's only $70
> The doctor reportedly filed a complaint with local police in Meerut, western Uttar Pradesh, earlier this week.

Ok, I am not sure what is worse. Being so gullible to fall for it, or go to police to report it.

I would love to see how that convo went.

Also he did haggle for it

> ... for 15,000,000 Indian rupees ($201,200)

> but settled for a down payment of 33,10000 rupees ($41,584).

that is such uneven price that this was multistage negotiation, for a lamp that will give you infinite wealth.

Well its a good article to start a monday.
What are reasonable times for completion of each of the tasks? My rusty Lazarus/Free Pascal coding times so far are:

1) Counter - 10 minutes
2) TempConv - 30 minutes

Code is up on github: https://github.com/mikewarot/7guis

The only tricky bit I see is expression evaluation in the spreadsheet, the rest is straightforward.
How I convinced my family I wasn’t a physiotherapist
I find your comment very accurate of the status quo when you look at dev consulting companies at large.

The funny thing is: I started my software engineer career working for a large consulting firm and my frustration with the whole game was exactly my motivation 15 years ago to start my own business. I wanted to create a company that was 1) fun place to work for devs and 2) that was able to deliver on time and on budget on every single project (I'm obsessed about customer satisfaction).

15 years later and many many projects later I think I have definitely succeeded in my goal. So I think I have proof that software consulting doesn't really have to be that way. I can be fun, profitable and beneficial to all parties involved. We never had to hire a single sales person until 2020 because word of mouth kept us going.

By the way, we work at much better margins than those listed in here (I'm too shy to say the number though).

I think a lot has to do with passion and dedication. Knowing when to say no to customers and when to call bs on their deadlines.

I have definitely lost deals to other companies with a not-so-good value proposition but in the end those same customer come back calling us once they project melt in front of their eyes. I lost count how many times that happened. At least 30% of our project are a re-do of other companies fuck-ups.
I agree with the OP but for a slightly different reason.

Type safety is valuable in that it relatively easily helps achieve a goal of alerting the programmer that he/she is mixing together things that should have not been mixed. Ie. using something in a context where it should not be used.

That goal can be achieved in other ways and it is not even the best way to achieve that goal.

Type safety is valuable in that:

* does a lot of sense for a user of the programming language (ie. programmer) IF it is done sensibly (forget about template metaprogramming, that is not sensible). Thinking about things in terms of types is natural to our brain structure.

* warns early (ie. your program does not compile)

* enforces on everybody working on the application (you can ignore conventions but you can't ignore compilation error)

Now, what I don't like is that people forget that types and type safety is there to achieve the goal (making programs better, easier to read, easier to reason about, harder to make a mistake).

Thinking about type safety as if it was some kind of security mechanism to prevent any and all kinds of mistakes is IMO very misguided. I don't want to battle with my type system, I want to write working code and I want to use type safety mechanism that lets me get there reasonably without spending huge amount of extra effort.

So, I think, there is a sweet spot for type safety, where it is enough to help prevent most mistakes and make reading the code easier, but not enough to make you reduce your productivity.

Not only that, the sweet spot will depend on what task you are working on.

For example, languages with relaxed type safety are good for rapid development -- ie. "scripts". There sweet spot is shifted to less type safety because your program is much smaller and you don't need help remembering what are different things and there is probably less developers working on it.

On the other hand, for large projects with many people working on them, long build times, expensive testing, etc. you would very likely want a language with stronger typing (like Java that is very poor language but offers very good practical type system).

Now, Rust type safety is a special IMO compared to other type safety mechanism in that it is very hard for the user (ie. programmer) but I still am ok with this. The reason is because there the type safety is used to get so much more that would not otherwise be possible (at least not with our current knowledge).
Android phones are useles... no ethernet, no gpio, shitty cooling, hard to get an OS installed, hard to debug, and compared to RPI4, too expensive.

RPi4 is great... small cheap, basically a full pc in a small box, with low power usage, low heat production, no noise, and yes... with a shitty storage solution.
I think a cheaper solution would probably just be a depth sensing camera. Even a developer targeted Intel RealSense kit is only like $150. Consumer hardware could be much cheaper I imagine.

Once you have depth information integrated with a camera, then it should be pretty trivial to do background removal.

Whereas a 35mm f1.8 from Nikon is like $200 and whatever you mount it to is still going to need to do auto focusing and a bunch of other camera-y stuff to make it accessible to non photo geeks and then you’re going to need an off camera microphone so the entire call isn’t listening to your autofocus motor and...
Streisand was 22 in 1964 when her career kicked-off with Funny Girl. I think she (like Marvin Hamlisch) was more popular with the 'Silent Generation' (1928-45).
Awesome!

I didn’t know that Raspberry Pi had these.

I will definitely be ordering one.

I do already own a newer Raspberry 4 with 4Gb of RAM and the massive heat sink is a must!
These things run WAY hotter than the Raspberry Pi 3’s.

There are heat-sinking cases made of aluminum made by third-party’s that dissipate the heat almost as well as the turbo fan setups.
It's just a cool demo. And it's interesting to see the browser being a universal runtime for stuff that's traditionally been out of its domain. Not everything has to be state of the art mind blowing brand new breakthroughs to be interesting.
Google Guice 5.0.0-BETA-1
Good one, automatic backups that avoid the user having to do it are an excellent idea.
Ubitricity already have a pretty nice kerb-side charging solution, including sockets which integrate into existing street light poles:

https://www.ubitricity.co.uk/

These are quite widely deployed in a few London boroughs.
Thanks, however playing YouTube only requires decoding video which is less difficult than encoding it. You need both for Jitsi, and at a non-trivial resolution (>=720p) to boot.
Zoomed in on iPhone X, still getting 60 fps
Sorry, I can't hear you over the noise of my Dyson hoover.
In sustained multithreaded tasks, maybe, depending on how much money you paid on either and when you bought it.
Karen Blixen (17 April 1885 – 7 September 1962) published her first book under the male pen name Isak Denisen.

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

Colette (28 January 1873 – 3 August 1954) initially ghost wrote for her husband and when they split she ended up dirt poor because he owned all the copyrights in his name and she had no claim to any of it.

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

These are people from around the same time frame. Sexism was a much bigger problem at that time than it is today and it remains alive and well.

Edit: See, for example:

Homme de Plume: What I Learned Sending My Novel Out Under a Male Name

https://jezebel.com/homme-de-plume-what-i-learned-sending-my...
But this has been a solved problem for ages.... just move your mouse a tiny bit, and all the controls are exposed, with large, visible buttons, help text, etc, click whatever you need to, and the controls slowly dissapear, revealing the video.

Having to find the exact spot to hover your mouse is a bad UX
The Pi4 is a great piece of kit, and I love the idea behind this, but for me personally I really need to see all USB3 on it. I have some high speed peripherals that require it, and using a hub doesn't work.
Don't forget the main difference: When Germany entered the stage, it competed with half a dozen of established players. China basically only competes with the US, whereas EU and Russia are "half weight" competitors (one is lacking military the other economical power).
Gosh... if they had made this as box that connects to display and talks to any bluetooth keyboard then this would be gold. Requiring wired keyboard is such a let down and limiting. I would then connect it to my 4K smart TV and also use it as full blown computer! With dedicated app, it can turn any TV to smart TV, picture frame etc with unlimited customizations. It would be like Chromecast on steroids, open programmable OS and a keyboard!
I was thinking the exact same thing, but Google isn't stupid either. So far all of these lockouts have happening to US folks, but this one is from UK.
I'm not sure if Google made a misstep in this case or they found a loophole and no longer care about GDPR.
Basically, every time you use UNIQUE in a column or set of columns that is not a PK, it is an AK (Alternate Key).
If your goal is just to have all ports on one side there are a few cases available for the RPi which accomplish this. I use the Argon One case.
I always use the SCROLL LOCK button to disable scroll lock when I mistakenly press the SCROLL LOCK button.
Except these problems don't occur for most people, as evidenced by the fact that the current system works fine. Complaints like yours are relatively rare.
What's your fastest launch?
Not so much removed but made optional (see __STDC_NO_VLA__), but I guess it is close enough.
Nazi Drug Lord -Klaus Barbie, the Butcher of Lyon
I think battery swap can be made to work and solve all these problems with the right economic structure that does not yet exist.

You have a battery pack that you own and maintain carefully, and you absolutely do not want to rent it out to anyone. So you use it day to day transport and charge slowly overnight, perfect to prolong life.

When time comes to make a long, cross country trip, you visit a swap center and deposit your battery, and switch to rented batteries for the duration of the trip, while paying a charge+rent fee. When you come back from the trip, your own battery is waiting for you at the same station, charged and stored in good conditions. Or, you can make the first leg of the journey on your own battery, then have it shipped back to a station near your home before you return; by necessity the network will have to perform rebalancing anyway for the rental stock.

I know Tesla demoed battery swap, but they were only interested in the associated subsidy and not keen on it because it requires a large stock of batteries that they had no capacity to produce in large quantities at the time. When safe and cheap batteries are available in quantity, they will pretty much be forced to revisit this model or face tough competition from charge networks that can handle swap.
Scotland has, a, er, partial replica of the Parthenon as its National Monument: https://en.wikipedia.org/wiki/National_Monument_of_Scotland

It looks very Gothic as an open "ruin" against the sky. Nearby is a monument to Nelson as a telescope-shaped tower, the dome of a small observatory on the hill, and below that a huge neoclassical school building that has stood empty for fifty years.
I think an existing RPI 4 in one of the many available cases would do what you need there. It already has bluetooth built-in.
If I were doing it I'd use a cleaner background, some background music, add a British voiceover, and do more continuous shots. The cut away from the wire going into the port hurt me :(
Performant async font loading plugin for Gatsby