skysight-inc/HackerNews huggingface dataset:
Why can't USA remove weapons from homes?
Being a fully democratic country, the policy makers should do what people wish for. Does that mean people do not want to change this stupid constitution which might have made sense when the country was wilder and people needed to be armed? No wonder the country is full of crazy people inside and outside the government.
He then showed his erect penis to her.
> But my kids will just have a Google Photos album

If google doesn't lock out your account at some point between now and death.

Seriously, relying on something like google as the repository of all memories seems extremely risky when we know how often they lock accounts for no reason and there is no recourse.
DigitalOcean Functions
That is exactly what I do.
After many side channel attacks on SGX Intel revealing fundamental design flaws, SGX is absent in recent Intel processors.

Centralized services like Signal still pinky swear they will not use any of these exploits and break all the metadata promises they built on SGX. Even if the US government asks them nicely.

Any security built on SGX is security theater.
Yes, more than ever. Working from hone gives you the freedom to outsource your work more than ever before. Also, it's so much easier to start a company now where all the workers are remote and from any part of the world. The hard part is figuring out what to start. If you can do that then your are set.
Yes they can be lost but that's why people use more than one. They already support that as they mention in the blog post.

And what you describe "password and oneOf(token, phone, etc)" is not how passwordles works. It is really just "oneOf(token, phone, etc)". The token itself is what validates your PIN code in this scenario.

Eventually they'll have to implement this anyway because it's the "end game" for the FIDO designers. And it's something the competition already offers: https://docs.microsoft.com/en-us/azure/active-directory/auth...
As a fellow privacy geek, I'd rather the laws applied universally rather than be split at the borders. Alas, it's the lesser evil.
I almost feel like it's a python specific issue. No other eco system have I've had to scour so many random almost identical looking websites to learn the libraries I use.

Almost like spending lots of time making a documentation page is a rite of passage for python devs.

Of course, some of it may be that I didn't need it as much for when I did java dev. Typing+docstrings help much more in the IDE than for python code.

Also, it's good that most python devs want to document their code. I'd just wish they'd do a better job, and not be so inspired by the crappy official docs.
I write all my papers with it since few years, and my lecture notes, and my talks. The papers are converted to LaTeX when sending to the publisher. Several of my PhD students used it to write their thesis. Also some Master students.

Some pointers here:
Papers:
- https://arxiv.org/abs/2004.09637
- https://arxiv.org/abs/2112.05562
- https://arxiv.org/abs/2107.12115
Lecture notes:
- https://www.iam.uni-bonn.de/abteilung-gubinelli/teaching/sto...
Online lectures with TeXmacs:
- https://www.youtube.com/watch?v=FL50D2PpswE&t=4990s
I don’t necessarily look forward to this, but I imagine it’ll be very satisfying sorting through my parents’ stuff and finding all the little gems.

Of course 80% of it is junk, but 80% of everything I save is junk too, so I can hardly blame them for it.

My dad recently threw out a lot of his old school stuff that we’d gone through and looked at a few times during various instances of cleanup over the course of my life, and I think I was more sad than him.

I imagine he has all that stuff somewhere inside his head still, but to me the only tangible remains of the time when my dad was a boy/young adult have disappeared.
You might find this interesting: https://github.com/dj-stripe/dj-stripe
I seriously discourage the use of orings. Rather, new users should practice _not_ bottoming out, which is why I recommend Browns for new users.
For me the navigation example is a bad one because I still navigate like 30 years ago. I also don't have internet on my phone other than Wi-Fi. I don't want to be connected all the time.

What I see is that people have no clue anymore about where they are. They rely on GPS. Is this an improvement? As long as GPS is working, yes.
Very useless article. "It's hard to count them, so let's just acknowledge the difficulty of the problem instead of solving it."
By "type definition" I did actually mean the database schema. I don't particularly care what happens at the boundaries, and I think translating a database schema into suitable types at the programming language level makes sense (e.g. dependent types). I was just describing how it would make most sense in my mind to design the database schema in isolation with other concerns in order to remain most semantically correct.
I picked a random news org. and scrolled through their feed. It was The New York Times with 53 million followers. Scroll through their last 100 tweets or so and look at the engagement. 5-50 comments, 20-200 retweets. I used to get that level of engagement back in the day when I used Twitter with a couple thousand followers. Something’s off.

Note. I’m not American and have no political affiliation to have selected NYT.

EDIT: this was before the shooting that's just happened.
Fractionalized Ownership Has Changed the NFT Game
Classic! Looks just at home in a cold war sci-fi

(Solaris[0], 2001 A Space Odyssey)

Are UK public agencies suffering from coldwar nostalgia?

[0]https://archive.ph/M4n6x/eae85b20295ef0ab969dcbff42b8f6f54d9...
Thanks for the heads up - I'm using Aurora Serverless v1 which isn't perfect - I guess I won't be jumping to v2 any time soon then.
Is this Ask HN? I recommend some ragas performed by Amelia Cuni, this is one of my favourite voices for all times. But I'm not any expert in music.
Rice's Theorem isn't as strong as you say it is. What it says is that there exist programs that it's impossible to prove whether or not they have specific non-trivial properties. But there still exist many programs where we can prove their correctness / incorrectness. What's more, I'd argue that if you're writing code whose behaviour is literally undecidable, you're doing something wrong, unless you're doing it for research purposes or something like that.
No idea why you got downvoted. As a Linux user I don't restart my whole computer to try fix something. I can't even remember the last time I restarted without having installed a new kernel.

I also don't know why I would, I can restart the broken components and get a less cluttered debug log when doing only that.
How to Block Ads in Safari on iOS, iPadOS and macOS
I think I must be really bad at communicating, because you aren't responding to any point I was trying to make. Let me try again :-)

I think Racket, Scheme, and some Lisps are conceptually elegant, but they don't read well to people like me (or apparently the poster above).

In particular, your snippet of code has 3 different indentation strategies, and you hang your closing parens the way almost all Lisp programmers do. To me, it all looks so organic and arbitrary.

So, for those of us who don't like to read other people's Lisp - is it because of the parens? Or is it because the conventional Lisp style is alienating to us?

I really think it's the style. I'd rather read your example like:

(defun bottles-verse (n)
(flet
((bottles (:match)
((0) "No bottles")
((1) "1 bottle")
((@x) `@x bottles`)
))
(put-line
`@(bottles n) of beer on the wall\n\
@(bottles n) of beer\n\
Take one down; pass it around\n\
@(bottles (pred n)) of beer on the wall\n`
)
)
)

That's still not quite as nice as I'd like, but maybe you can see where I'm coming from.

I think most Lispers would say, "You get used to it." But, well we don't get used to it because we just stay with whatever our curly braced or indentation language is instead.
I was thinking the same. As humanly intolerable wet-bulb temperatures are getting more and more common, this could provide a relief for those living under such conditions who can't afford air conditioning.

Also, it would be good to know what is the energy requirement to "wring" this gel and get the water out of it. If that is high then it wouldn't be a good solution to be used as a cheap de-humidifier.
Then you would just get something like this [1]. As long as the rewards from spam outweigh the cost of spam, people will try to spam. What I don't understand is that Google solved spam detection 10 years ago, yet Twitter somehow can't solve it.

[1] https://www.youtube.com/watch?v=Y-W0CBOGnnI
I always assumed that SGX's use by Signal is just "cute" and "nice to have" and "defense in depth", not anything on which the security of my communication actually depends. Am I mistaken?
> I’ve read a statistics that in 2016 it was approving 97% of the law proposals coming from the Commission.

I'd love to see the source for this.
(2019).

Previous discussion: https://news.ycombinator.com/item?id=21759683
As someone who can sort of see things from both sides, I have opinions…

I graduated from a small unknown college in the south in 1996. I moved to the major metropolitan area where I still live after graduating and by 2000, I was making around $70K. For reference, my rent was $600 a month and the 2700 square foot brand new build I bought in the burbs in 2002 was $175K.

Life happened and by the time salaries for SV started getting crazy around 2012-2014, I was 40 years old, remarried and I had a wife and two teenage (step)sons in another 3000+ square foot house in the burbs that we had built in the good school system. I was the dark matter developer who was quite comfortable.

By 2017, I saw the writing on the wall, I knew I was going to plateau soon locally and my youngest was graduating in 2020. I knew I didn’t want to be a 46 year old software engineer at a large company. I didn’t know what I wanted to do. I was going to be content bumbing around smaller companies as “the adult in the room”.

I just happen to fall into a remote role in cloud consulting (cloud enterprise application development and deployment) at BigTech (yes full time with the same compensation structure as SDEs). I have former coworkers my age that did the same calculus. They had no interest in working in software development at a large company. They already had the life they wanted.

https://bemorewithless.com/the-story-of-the-mexican-fisherma...
Thank you. French is not one of the languages that I speak, so from afar French spelling and pronunciation seems arbitrary. I appreciate the lesson!
I’m sorry man I can’t read.
It almost certainly consumes O2 and excretes CO2, which might actually be worse than just letting the carbon be trapped in plastic in a landfill.
Then how is Roel Van de Paar allowed to be on youtube?
If we were allowed to use a real OS, you could just run local containers. Or hell, this was solved with Vagrant how many years ago?

Why does it have to be remote?

The whole point is that I don't always have internet access, sometimes there are outages and sometimes it's just plain slow for some reason. It's shit enough all the video calls I have to be involved in these days, not as bad as all the face the face meetings in crampt rooms with everyone falling asleep because of the lack of air circulation. Why do you want to make the development environment crappier?

It also isn't clear how it would make code reviews better, or even paired programming? Shared workspaces are already a thing.
LyX is good but the quality of the typesetter is not. Early on, when looking for a replacement for my TeX workflow I was taken back by the rendering. It improved lately, but still TeXmacs is a superior tecnology which renders onscreen exactly as on paper, and it is fully scriptable in scheme, including the user interface. I use it to lecture online, via Zoom, for example and I would not be able to do the same with LyX. See e.g. https://www.youtube.com/watch?v=FL50D2PpswE Also thinking about mathematics in TeXmacs is really pleasant. I wrote here my reflection on mathematical writing in TeXmacs: https://texmacs.github.io/notes/docs/art-of-math-writing.htm...
Even if you follow Kondo's methodology, your late parents' things are almost certainly "sentimental items", which Kondo explicitly states to leave for last.
> Funders and businesses would be less incentivized to pursue useful research using AI inventors when a return on their investment could be limited. Society could miss out on the development of worthwhile and life-saving inventions.

Just make your invention and sell it! Nobody has to miss out on anything!
Does it provide a key binding to automatically C&P a he code from a top-voted answer into a buffer?

I can imagine some kind of placeholder that can be pointed at a yet-unanswered question, then as soon as as an answer (with a code snippet!) arrives, it gets pasted in. And updated as the answer does, too.

Actually then I can write a whole program that fires off stack exchange questions from comments and writes the code as they get answered. Is that genius or what?
Suse would have made a viable contender as well. But yea, Red Hat is very much in the pocket all along.
I collected here: https://texmacs.github.io/notes/docs/art-of-math-writing.htm... some of my reflections about mathematical writing and in particular about the reasons I choose TeXmacs as my tool of choice. It might be also relevant to you.
> makes society as guilty as the criminals it tries to punish!

I think no, because even if we equate the level of savagery (declare that locking up someone for life in a tiny cell is exactly as savage as whatever they had done), those involved in the locking up retain a moral upper hand, because they do not make random, innocent people the targets of their savagery.
I smoke loads of weed and drown my sorrows in alcohol. Adderall to get me started in the mornings. It’s not sustainable but i take 2 months off every year to prevent mental breakdown.
And yet everything will return to normal in 8 months time
I prefer GraphQL because making beautiful and convenient large REST APIs is very difficult, almost impossible, while it's trivial in GraphQL.

I feel like REST is shoehorned on top of HTTP, which was never designed for that. It has some advantages such as accessing features from the HTTP toolchain, like easy caching and many developer tools, but I think GraphQL is more adapted as an API layer unless you want a tiny CRUD API for one resource.

Also I think GraphQL schemas are easier to work with than Swagger/OpenAPI specifications.

You have many other alternatives too, such as SOAP, CORBA, or gRPC, but I would prefer GraphQL unless an alternative is a lot more adapted to my problem. It's still JSON and HTTP, which makes it easy to work with, and it's powerful enough.
It is, we're just not being paid for it. https://www.epi.org/productivity-pay-gap/
I was puzzled why the premise of the controversial headline was so flimsy, until I noticed halfway down the page that I was being sold a product.
Quite a bit of our infrastructure runs for very long periods (long in IT terms) - years between faults or reboots.

Sure lots of domestic modems & routers have to be reset often, but it's common to find infrastructure routers that are only reset when they have to be moved! Says a lot about the software in domestic equipment.

I've worked with a mainframe that ran for a decade, and was only rebooted when a machine room fire required a full powerdown "right now"! But people are impressed when their Windows stays up for a few day %#%$#@#$!!

And remember Voyager, been ticking along since 1977.

But all these impressive systems are built to be impressive. Probably error correcting RAM, etc. Shows we can build reliable hardware. And if a substantial fraction of users wanted it, things like ECC RAM etc would be only fractionally more expensive than our error prone alternatives.

Of course,
Thats called terraform modules. You dont need to understand what they deploy but dont be surprised that default values will be often not the best for your use case.

Managers are long looking for a way to hire cheap labor. Issue us cheap labor lacks knowledge required to build soecialized things. And thankfully it will never change, no tool can provide that.
#private is JavaScript...
Foreign investors have net sold Indian stocks worth $32B
Well said!

Are your ideas from Jacques Ellul's The Technological Society? - https://en.wikipedia.org/wiki/Jacques_Ellul#On_technique

Would appreciate some sources.
Reality is going to rudely awaken you in the not so distant future if that’s the way you think the tide is turning.
This is a pretty exciting news, if all the claims in the article are true! It could make the big and expensive desalination plants obsolete, and it would have many other uses than just drinking water.

If this is cheap and not energy intensive, then it could also be used as a solution to irrigation in arid regions. If the claims of 6L/day from a 15% humidity desert air true, then it could provide irrigation even at such places.

Does anybody know more sources of information on this technology?
There is this tool: sphinx. Helps you making documentation + website. Can read you code and document it with your docstrings. Generates some okish documentation and is kind of boilerplate if you create a library.

There do all these websites come from.
Generics can not reliably be optimized. They create specialized inline code by monomorphization (except partially in Go which is a bit smarter). Specialization and inlining can be good if it leads to simplificatons or bad when it leads to a combinatorial explosion, which is why optimizers are careful with it to avoid code bloat. Generics always create the bloat by default. If this were a good strategy, optimizers would always inline.

To reliable devirtualize function pointers in C you need to use non-standard extensions. But the best strategy is not let the optimizer decide and apply this very carefully inly for the few selected cases where it matters.
Heat pump mini split is a thing in 80s.
we need them ASAP!
> Someone from 1950 wouldn't even notice the difference

You really should go to some museum or google how cars in 1950 looked like, functioned and sounded.

> I deliberately stopped using GPS for several years, because I realized it was preventing me from building up geographic/navigational knowledge, and instead was just training me to follow instructions blindly and never learn anything

You are in minority there from pretty much all aspects. People are not ditching GPS. They are not looking into GPS constantly either, generally people don't go to places they don't know that often. And if you are refusing "weird shortcuts" then you are lessening your geographical knowledge even more - you are opting out for routes with easy to memorize milestones instead of learning how streets are really connected.
If your kind of stupid constitution would be in Ukraine, Russian invasion just not happens.
On the aspect of being small, small spiders' brains actually spread out a bit into the legs, due to lack of space in their heads.
https://www.nationalgeographic.com/animals/article/111219-sp...
I own plenty. There are more things than I can own sustainably, so somethings need to go unowned until the powers that be decide they need ownership.
I'm tired of seeing the people who caused the 2008 financial crisis not going to prison, and things like the Mossack Fonseca leaked panama papers being a hot news item for maybe a few days and then disappearing.
Honestly, I think it depends on where you are looking. Over in the Midwest we have had trouble finding SDEs, maybe it's because in my area starting pay is in that 65-80k range and I know alot of grads shoot for the startup/FAANG 100k+ pay but in the rest of the tech world I would say more people are moving around because there are so many open roles and not enough people to fill them.

I have been an engineer for over 10 years now, and my advice would be to widen your search and seek out experience and when your ready to level up leverage that experience to move into the pay/role/company you want.
Xiaoluoboding/self-hosted-app-starter: A starter for the self-hosted app
Nobody is asking for stopping building solar or wind, why do you think this is what we are discussing? (it is about some complementary energy source that will help when there is no sun and wind for a few days)
No, It's true, most my fiends who used to install pirated application (.sis file) from internet got affected by these viruses and at that time most popular antivirus companies (McAfee, Kaspersky, f-secure) had Symbian versions of their antivirus programs.

https://en.wikipedia.org/wiki/Cabir_(computer_worm)
https://en.wikipedia.org/wiki/Commwarrior
And what about basins?
Hmm. There's definitely things to be learned picking up things that other people won't touch, but I would also qualify it more:

"Successful people choose their battles"

You can spend your entire career fixing other peoples' crappy bugs because nobody else can be bothered. That's not really going to make you successful, it's just going to make you a good bug fixer.

Choose problems that other people don't want to touch because they're hard or challenging, or because they're a core, valuable part of something.

That's what's brought me succeess ;) (and headaches)
No.
There could be two ways to teach programming - one by doing - e.g building stuff. In that case all the popular web dev languages are good (javascript/python/ruby) because they are comfortable and it is relatively easy to build an app. Try doing that in C for instance.
The other way of teaching is less by building a functional app and more by deep diving into computer science concepts like how arrays are implemented, what are pointers etc. C is usually used for that and I'm not a big fan of this style of teaching though many universities do it.

As for Elixir - going functional with your first language will just be confusing - the student will probably have to learn JS and other OOP languages soon. It makes more sense to me to do this transition when you are an established programmer.

And finally Elixir is not considered an easy language. Your first language ideally will let you get things done in the easiest way possible. For me that also puts typed languages as not ideal but I'm a minority there.

When you've never ever written code everything is hard - I see no point in making it harder so no I see no point in choosing Elixir as a first language.

Finally there's the job market of course, that small thing. Elixir in general is more suited for senior devs who are called to work on super scaley problems and the amount of jobs is small, that's not ideal for a beginner. However I will concede there are way fewer people who know it so maybe it could work out when applying to jobs.
Agreed, outstanding!

I'm less conflicted about having music tools in the browser. Yes, it's less efficient, and there's more risk of dropouts, and there's less control over I/O, and there's generally less you can _do_... But what's emerging is widespread access to increasingly sophisticated music making tools, and I don't see a reason to want to slow that down?
> The acceleration, ride comfort, features

This is not true at all. Ride comfort and features is massively improved in todays cars compared to 1950. Or to 1980. That goes for both the driver and passenger.
I find even leaving them off pleasing. Don't run compputers 24/7, your brain doesn't, too.

The smaller the scale (amount of people affected), the more sense do business hours make. Ot times of non-operation. Who cares if a personal/smallbiz webserver sleeps for some hours at night?