skysight-inc/HackerNews huggingface dataset:
Rubbish. They do. My daughter's school has a pile of knackered Pi's that the teachers don't have the time and budget to fix.

Broken connectors, duff microSDs, bricks.

They don't use them now, preferring python on windows.
The point is you should never need to do this. The law should
automatically ensure that you always have access to your data.

Today, denial of access to one's data ought to be a human rights matter.
> Exactly what? I'm not sure what you're referring to here exactly.

"Newtypes as tokens"
Does Lithuania have a car industry?
Strange, I could've sworn I've read recently that the WebGL2 compute effort had been halted because WebGPU is (more or less) around the corner.

Yet the linked document has been updated just a few weeks ago.
> their products have such an awful UX/UI

This is true. I find Android UI so offensive that if I did not have iOS as an alternate I probably would carry a dumb phone and live like a monk. I can’t stand the miles of white space and brightly coloured tiny UI controls.

Evokes such a visceral reaction in me that even I am startled at times haha
As much as I like Apple, you wouldn't gain much by switching.
In case you do get locked out, it will be the same faceless corporation as Google.
Your best bet is own domain and bigger provider with a human support. Fastmail, protonmail or even 365 would work.
It's amazing how any time this comes up someone has to pile in "but I drive 1000km a day so it will never work". Buddy, there are allowed to outliers. It just has to work for most people most of the time.

Anyway, some actual data. Most cars spend the vast majority of their time going exactly nowhere:
https://www.racfoundation.org/motoring-faqs/mobility#a5

The average trip is 8 miles (same source, both in the UK. You can find data for your country. Might also look at https://www.sciencedirect.com/science/article/pii/S019126151...)

Plenty of time to charge from a domestic charger, and no range issue with current electric cars (which have >200 mile range).
Yeah, you can chose between once per year or every two months to the following endpoints:

* Mail

* Google Drive

* Dropbox

* OneDrive

* Box
Very interesting, cheers!

Functional Reactive Programming seems promising. (Elm ditched it in favor of some simpler metaphor on didactic rather than technical grounds, I think.)
GetBlock and Reddcoin Hold a Crypto Giveaway
> The Intel processor in your MBP is still leaps more powerful than the processor in your phone.

Maybe the CPU part, but definitely not the integrated GPU (and this demo is all GPU).
Comments go increasingly lighter shades of grey when they are downvoted to less than or equal to zero.
”Good judgement comes from experience. Experience comes from bad judgment.”

-Attributed to Nasrudin, but made popular by Rita Mae Brown and Will Rogers
Why would you use Data.List.head rather than just matching on lst?
Lifting weights generally has variety in motion and muscle group. Writing is doing the same, short lift - without using the full range of motion - for the same muscle group day after day after day.

It isn't a short-term issue: Comic artists often work long days (contract work) and work until their arm doesn't function well anymore (often decades before retirement age). Writing (and drawing) can produce a number of repetitive strain injuries (hand, wrist, elbow and shoulder). You can increase your tolerance if you are healthy, but it still is going to lead to injuries over time and you are better off taking more breaks than you think you need and learning not to press as hard as people are prone to do. You do "improve", but the improvement isn't really in strength but fine motor control and motion and things like that (especially with drawing).
If you mean FRP by Conal Elliott, then not really, it's an almost completely different branch entirely.
Yep! A Chromecast running Linux basically
My laptop uses an HDD too, startup times are bearable for me as I've disabled its indexing features (by removing the folders under the "Choose where to look for music" setting).

My needs are simple: I just need an MP3 track to play when I double-click on it, I have no intention to bother setting up a dedicated media system in the age of Spotify.

Groove does the job, and it even shows a nice, minimalist and no-frills UI while at it.
how are wildcards not low maintenance?
Great, so we can turn London into a parking lot for electric cars. The solution for urban centres is to have fewer (but electric) cars.
Imec ruthenium interconnect as a path to 2nm technology nodes
Ok, we've addressed the topic in the title above.
Don't forget the actual Russian agent meeting the NRA, https://en.wikipedia.org/wiki/Maria_Butina
We are talking about alternatives to Google services. They are very likely infiltrated by the NSA already. So using Google over small VPS providers will give your data to them far more likely. I doubt that the NSA has "everyone surveillance" contracts with every VPS provider out there, even ones in the US... they might only just send letters about individuals they are interested about. Every additional person who has to keep the secret makes exposure more risky.

Anyways, if you do distrust your VPS provider, you can just use it for encrypted backups, and then you'll only have to manage the key.

As for suggested alternatives to DO, there are plenty VPS providers in Europe. 1&1 or Hetzner come to mind. Maye they don't have DDoS protection, but you aren't trying to build a public website anyways.
I'm not too familiar with the local rules in Lithuania, but the EU has two different possible classifications for E-Bikes:

* EU-Spec E-Bike: Up to 25kph, No license / special equipment is required
* Speed Pedelec: Up to 45 kph, Requires licensing, insurance, and a special helmet. In the Netherlands, you can't drive these on bike paths / may have to mingle with cars.
* US-Spec E-Bikes: Up to 32kph, unregulated / illegal

In general, all three categories are capable of easily sustaining reasonably high 25 to 35kph speeds for 40 to 150km on a flat surface.

If you're dealing with hills or wind resistance, you'll need the beefier motor & battery of a pedelec, or you'll need a slightly more specialised E-Bike, but there's no reason why you couldn't make it work by throwing a bit more bike at the problem. I've taken E-Bikes around some of the medium sized hills in San Francisco before, and apart from having to pedal slightly harder and my battery usage doubling, cycling on a hill wasn't that much different than cycling along Market Street.
I think the only other powers back then able to compete were the US (though at an early stage, and mostly an economical power at that point), France through its colonial empire (but neither economically nor militarily very strong having lost to Germany in 1871) and Russia. I don't think this is very much unlike today's set-up with the EU, Russia, and India as additional players on the global stage.
You just click a link in the browser and it runs instantly, instead of downloading an unsigned executable from a website you never heard of, which is then blocked by Windows SmartScreen, Apple Gatekeeper or doesn't run on your machine at all because you're using Linux.
The word "informatics" is included in the "bioinformatics" field name so I would expect them to know how to program.

Reality is that academics are bad at programming because academia is bad a teaching it and doesn't prioritise it.
Yes, we went down to one car and two e-bikes. It would have been a struggle without the bikes as we live in a semi-rural area with poor public transport.
Inspiration for what? The point of rpi boards has always been affordable computing as far as I'm aware. Perhaps that inspired you in the past.
Depends whether the reseller is selling the kit or just the device. Welectron for instance lists both, and device-only is 69 EUR. https://www.welectron.com/Raspberry-Pi-400-Computer-DE
Never lose your old data again
I'm curious, how do you setup your deployment and the scale of Flagr? The only thing I could found is this [0]

[0] - https://github.com/checkr/flagr/issues/139#issuecomment-4028...
Travis is changing from growth mode to milk-the-melting-ice-cube mode.

That’s why they are turning off free foss builds.
Even just +7 kVA per house means a complete rebuild of the grid.

1 MW would be enough for just ~150 chargers. And where would you get that megawatt at night? More base load, which means nuclear or fossil which means less niche for solar because no one would shut down such amount of base load generation each day.

Besides 60 amps isn't exactly cheap in electronics. It might not require active cooling for the cable and the battery, that's true.
How do I play sounds with this? I see no jack for speakers or headphones. I assume one could have sound over HDMI but monitors with built-in speakers are not very common.
The problem with this is twofold:
1. There isn't much to touch on a screen except the screen. On a keyboard, some keys are different sizes and we often have a key that allows us to know proper finger placement (mine is j and f: I've used keyboards with a dot on d and k too).

2. Cell phone layout isn't as standardized as a qwerty keyboard. Sure, the letters are in the same spot, but symbols aren't always there.

We have other methods to quicken touch screen typing, though: Swipe-friendly keyboards and predictive text.
I agree. It is...um...smooth as glass on my iPad. Much more so, than the OP.
a huge neoclassical school building that has stood empty for fifty years.

Isn't that used by the Scottish gov?
If You Don't Want Guitar Lessons, Stop Following Me
RPi4 has BT.
I wish one of the lovely people in the examples were wearing headphones.
FWIW I’ve used a rpi1 then 2 then 3 as my Kodi/openelec/libreelec box for years each and it’s been running very smoothly. Maybe not the most demanding in terms of storage writes but still, I’m very satisfied with it.
About the first part of your post, actually there is a single package for all the components: mailu does that in the form of a set of docker images. I've also heard about iRedMail but I don't know it. For the rest of your comment you're right, after launching mailu you still have to configure the DNS and deal with some providers still thinking you're a spammer. But at least you can avoid the painful traditional setup which requires to install multiple pieces of software and configure them to make them talk each other, and mailu also helps you with DNS by telling you which value you should put to have dkim working (and maybe also something else that I'm not recalling right now). Personally the problem that stopped me from having my own mail server was the difficulty to have a reverse PTR record configured for your vps. I was trying to get it with an Oracle Cloud server, but after a rather time consuming process of trying to gather information about this, I found out that Oracle didn't offer the option to have a reverse PTR record.
in the Lisp I'm using I get this:

CL-USER 24 > (+ "a" 1)

Error: In + of ("a" 1) arguments should be of type NUMBER.
1 (continue) Return a value to use.
2 Supply a new first argument.
3 (abort) Return to top loop level 0.

Type :b for backtrace or :c <option number> to proceed.
Type :bug-form "<subject>" for a bug report template or :? for other options.

CL-USER 25 : 1 >

There is a clear error message and direct ways to fix/report the problem. Including another REPL to investigate the error.
> Gosh... if they had made this as box that connects to display and talks to any bluetooth keyboard then this would be gold.

That's basically the existing RPi desktop kit minus keyboard/mouse (RPi, case, power supply, HDMI cable) — it does bluetooth OOB. Which you have been able to get for a long time.

So, they already did it. This is a new, extra thing.
The meme was "hunter2", not "Hunter02".

It's not unreasonable as a password, given that the drive wasn't encrypted. Why bother with something difficult when there isn't any encryption to stop a person who simply pulls out the hard drive?
I would think that the "fine motor control" would be in holding the chisel, not the hammer. But you find the same pattern for violin or guitar -- "right-handed" playing has the right hand holding the bow or strumming, while the left hand does the fingerings. The fingering is absolutely more difficult; but I think (from my own experience) the main thing is which hand is in control: The bow and the strumming causes the sound to come out, so that's what the right hand wants to do. That's how I feel about using a chisel too.
I understand. I develop secure (video) communications solutions for a living. I don't have a feel for the encode capability of the Pi as I've never used it for that purpose but I still think you should be OK at ~1080p.

Like I said originally it is a guess, but if it's of help to have some experimental evidence, I'm happy to rip a Pi4B out of my rack at some point and run some tests if I can spin up a Jitsi server quickly with Docker.
Backups of emails are OK, got a few of them. It's the constant need to receive emails as others have noted below is my fear.

If I'll get locked out will I be able to reset my password to the other bank account I almost forgot about? How long will it take for my old recruters to figure out not to mail me there? etc.

I run Thunderbird sometimes on desktop to cache all emails locally. I also have a NAS wich is downloading emails 24/7 and I can browse all locally from backup. This also gets backed up to 2 other locations :)
Monitors with 3.5mm outputs however are not that rare.
> Inspired by the home computers of the 1980s, our mission is to put affordable, high-performance, programmable computers into the hands of people all over the world.

Pretty sure affordability is a goal.
Cheers Boris!
This is not my experience at all. If you know what you're doing is relatively easy to avoid the pitfalls you described.

Working with f500 companies is very good business if you have the reputation to push back on their crazy deadlines and actually deliver after they sign you a contract. If you show them professional and reliable work the issues you described typically go away.

I own a software consulting firm and those are problems that I frequently see in projects done by companies that are only looking for the paycheck and then they cut every corner possible and have no real commitment with the project/customer.

In the end the PM says "at least I hired Accenture so this isn't my fault".

It was exactly for those reasons that 15 years ago I decided to start my own company trying to 1) have fun place for devs and 2) deliver on budget and on time in every single project. For 15 years I didn't have to hire a single sales person because our reputation kept bringing more projects than we could handle.

Software consulting can be very fulfilling and rewarding if you have the passion and nails the deliveries. If you build, they'll come.
Not for games and other user facing software. Development effort is finite and the extra complexity that users (reasonably) now expect is worth more than another 10% performance.

The places where it has made economic sense for me to optimise has been high volume consumer electronics. In those cases, taking up a bit less code space means you can drop to a smaller sized flash part and save 30 cents on a $20 bill of materials (for example).
Finally! This change gives me necessary motivation to switch to fully open source alternatives (probably Drone).
No, these aren't adding any additional parking spaces. Just allowing cars to be charged at existing ones.

(I totally agree about fewer cars, but remaining ones must be electric. And electric cars need charging infrastructure.)
> Again, you are conflating newtypes per se with approaches using newtype as part of an overall abstraction and interface design including constructor hiding. The post makes this quite clear and the author and others have pointed out this distinction to you multiple times here. Just because you made an inference and argued against it doesn't mean the article was making such an implication.

The author is still carefully avoiding describing any newtype-based approach as "type safety", to the point that they would mislead anyone who wasn't already familiar with the subject.

> Your last parenthetical doesn't seem like a reasonable response of someone who has read and understood this post. The post specifically encourages the use of newtype with abstraction boundaries where practical and works through an example.

It works through an example and follows that with a long list of (IMO exaggerated) weaknesses of that example, which seems more designed to dismiss it. It does not "specifically encourage" using newtypes at all (indeed it says "if you are fond of newtypes" as though one would only ever use newtypes for private emotional reasons). It concludes with "correctness by construction should be preferred whenever practical".
Yeah, if a woman suggests that HN might be a bit sexist there is inevitably a horde of people rushing to prove their non-sexism by downvoting the one woman in the discussion.
Calling another country crazy, etc., is obviously flamebait in the sense of being a provocation that frequently leads to flamewar.

That's independent of whether you think it's true. Nearly all flamebait has the latter property.
He appears to be in NZ. Yes, I find that crazy.
Did you have a look at Fedora CoreOS ?
You mean corporations are powerful enough to capture the government. Effectively creating shaping economical agenda.

And before I get downvoted by 'freemarket' people.

Most Blatant example must be the 2007 global crashed caused by american megabanks. How can we prevent this from happeneing? Why, we elect bank official as regulatory body to oversee banks.

Yeah, there will be people arguing here, how there are elections democracy etc. Anyone with half a braincell can see how really the system works. There is a reason why average person would rather entrust their baby to a racoon than a politician. And politicians that try to cut out influence of big business are sidelined. Like Sanders who run only on donation from people and twice 'lost'.

I could go on, but there is some work to do...
Google SSO for an e-government portal? No, thank you.
No, no, no, no, no, let's not go there. Small independent hosters is a more compelling solution.

Yes, our culture is perfectly capable of delivering essential (and nonessential but nonetheless everyday) services through regulated private independent companies. Typically some sort of exclusive license is granted, yet to maintain that license certain standards must be adhered to. You can see a dozen examples of this on any high street, any business handling food for example.
> For extra jollies, only decrypt it on the client.

Uh... How does that work if you need email address to send email to the user? If only the client is able to decrypt the addess, you will basically have to wait until the user connects and gives you the email (which your presumably never store long-term, handling it like you'd handle credit card numbers). That severely limits what you can do with an address.

If you're okay with being technically able to access email address, you'd probably better off with just straight encryption. That solves data leak protections, key rotation, backups, etc.

If you want some magic ID which is known only to the user and your servers will only use it to verify identity, then why not use just passwords with client-provided KDF parameters. Your machines will never know the plain data.
"Hiding important and absolutely crucial information"

If we want to give awards for this my vote would go to Apple. I find their products to be horrific when it comes to completely undiscoverable features. iOS is bad on its own but the Apple TV is a total train wreck. I couldn't get rid of that thing with its awful interface and remote fast enough.
I like how the GPIO headers are right there in back by all the other usb/hdmi/ethernet ports.
You just connect your Google account in the Fastmail settings and they set everything automatically
A 20kg hybrid drone that can fly at 50kmh for 4 hours
I read somewhere that electric vehicles had some trouble operating in cold environments - something to do with a big loss in mileage. Has this problem been resolved in modern vehicles?

Winters in those parts can be quite nippy.
I got locked out of one of my Google account because Google didnt recognize the device I was login in with (I had the correct password and I never enabled 2FA). I almost wasn't able to recover it.
Democracy is an achievement, not a recipe
I'm sad it didn't have to end that way.. melavia sacrificed everything for him. She also knew that the fame Einstein had achieved would get into his head and destroy things. In the end Einstein enjoyed huge career success but she didn't. She lost her family and career.

Her sacrifices and contributions should have been recognised.
You two are right. Reading it again I think I corrected the mixed up hands in my head. While they say the chisel is in the right and the hammer in the left, everything else depicted paints the opposite picture in my head.

If you hold the hammer in the right and the chisel in the left, you swing the hammer from the right to the left with the chisel tilted to the right. Thus the natural writing direction (outward from the swing) would be right to left. Swinging your hammer from the right and moving to the left would mean writing in the opposite direction of the force used to write single letters.

So, if the hammer is in the right hand and chisel in the left means a right-to-left motion and makes a left-to-right motion counterintuitive.
I did not know that. So when ordering stuff in the US, the tax is added at the checkout stage? Is it because of state tax laws being different or something?
Your post is just doubling down on a few memes that are unnecessary stressors leading to burnout.

>Go see a therapist, you have issues. The issue is with you.

The idea that having a negative outlook about the tech workplace is cause for professional intervention to tinker around in someones brain is exactly the kind of lopsided conventional wisdom that doesn't do anyone any good. It's OK to hate your job. Lots of jobs suck. Even jobs some people find a way to like can be miserable. Industries where it's normal for people to expect work to not be fun but have to do it anyway, they have better collective coping mechanisms than tech does. People don't feel wrong for hating their job, and don't have to be afraid to admit it when looking for support.

Pedantically, yes someone suffering from burnout would benefit from talking with a therapist. But in a practical sense going after someone with "The issue is with you" for trying to have a casual talk about burnout among peers is a brutal over-reaction.

>I've been in tech for far longer, I love it. We really live in the future, when I see the advances that have been made and stop and really contrast with 20yrs or even 10yrs ago, I'm very humbled.

The idea that technology and/or progress in and of themselves could or should offset any of the negatives in the workplace is not only bullshit, but a really dumb thing to say to someone dealing with the stressors that lead to burnout.
The future is here, it's just not evenly distributed.
>In practice, I think reasonably intuitive properties are already very difficult to formalize in refinement types.

Could you elaborate on that? Unless you're just saying that formalizing reasonably intuitive properties is difficult in general, I don't see what you mean.
I wish a CTRL+F could be as smart as how OP implemented it with similarity search - Good chrome extension idea ?
Same here. We live 18km from the city center. We have an electric car that we rarely use and two e-bikes (45km/hour kind) that we both use daily to go to work (300m elevation change). It's perfect !
i was talking more about things like the "paseos".

https://es.m.wikipedia.org/wiki/Paseo_(fusilamiento)

surely the purging of the right wing was not that big in numbers, given that most of it was in the other side of the war.
PulseAudio Loudness Equalizer for dynamic contexts such as movies