skysight-inc/HackerNews huggingface dataset:
> Flakes aren’t “experimental”. “Experimental” is what happens to your sanity without them.

Okay, I like flakes, I use flakes, I enable flakes without much worry. But. They literally are an experimental feature, and they are still enabled by setting "experimental-features = nix-command flakes" in nix's config.
Knowledge overconfidence is associated with anti-consensus views
So one library has a copy of the book, while another has a copy of the errata. I wonder whether they'd consider uniting the two in a single location, or whether holding on to their respective precious is more important to them than restoring a single coherent work.
> In casual converstation, I sometimes notice meme references or slang that I don't know, but that's about it. Not a big problem or loss IMO.

It would be a loss if your cohort planned/converse using those methods of communication, and you valued doing things with that cohort.
Anyone know how to replicate this to get a knowledge panel for startup-building clout? Asking for a friend
Thanks for linking the code, I meant to link to the pipe section of the README but obviously botched that and can't change it now :)

I was really exited about the pipe proposal and actively followed the discussion like 4 years ago. But with every passing year of no progress my excitement is slowly dying.

An `applyPipe` function is an interesting idea. My only concern with it is that the first function in the pipe could have more (or less) than one argument. And in that case how would you know where the arguments stop and the functions begin? Maybe the first parameter should be an array of the arguments. Or applyPipe could be of the form applyPipe(1, 2)(add, square, whatever). What do you think? If there is interest in this I'll add it.
https://www.rogerebert.com/reviews/great-movie-the-apu-trilo...
People have had this problem figured out for a very long time and I guess there’s just been too much else going on on the internet so it’s been lost.

You’re the only really technical person in the house, you’re the only one who can block you from doing things you know are bad for you, so you set up the software to do it, and then you have your spouse or a really good friend change the password. Now you can’t get back in without talking to them first.
>So are you on Elon Musk's side on this case, and what evidence points you on Musk's side?

That would imply I want him to win, when in reality I just want twitter to lose. I don't particularly care what happens to Musk, I just want him to deal maximum damage to twitter, at whatever cost to him it takes.

>It's fine to have your own personal bias here. We all do. But at a minimum, discussing why we hold those views is beneficial for both of us.

I did say why I hate twitter and want them to lose this case: they are a bunch dumb anti-free-speechers who coddle certain groups and ban others arbitarily, and on top of that their terrible poisonous platform is not conducive to intelligent speech.

>why Twitters argument here is wrong and why you think they'd lose this court battle.

I don't have a particulary strong expectation that they will lose, indeed if anything their legal position is stronger than Musk, as the experts are fond of saying. My hope is that they will underestimate Musk and do something dumb that will hurt their position and force a favorable concession that will hurt them more. Even if they win, that might anger or humiliate Musk so much that he destroys twitter out of anger, this is still fine by me.
Our use cases might not be that different. Whether it’s Mac laptops, physical dev machines, or cloud instances, our domain/scale is such that our machines are “pets” rather than “cattle”, i.e. they have names.

Making NVIDIA drivers work with either Xorg on someone’s desk or CuDNN on the GPU boxes with like two friggin lines in the NixOS stuff is like, doing drugs or something in terms of sheer feeling great after years of chasing that shit all around Ubuntu’s broken-ass standard of living.
One of the biggest stressors in a relationship is money.

I've always made the decision to live well below my means.

This has helped with relationships, and also helped me build savings.

With savings come options.

You can afford to take a risk on a high paying but unstable gig.

This approach has worked pretty well for me.
Unfortunately it's not unusual: "I wish mum's phone was never invented"[0]

[0]https://www.bbc.co.uk/news/blogs-trending-44224319
The guy who solved voice recognition at Google years ago told me that after looking at enough spectrograms with human speech he could tell exactly what was being said. "Oh, that shape- it's an 'ooo' noise."

Armed with that knowledge I started looking at more spectrograms of birds (I record birds around my house and pass through bird.net's model. Amusingly, I kind of learned eveyrthing in this article just by looking at lots of spectrograms- they are far, far easier for me to parse than any other musical representation.

I just found 'demucs' and am really enjoying doing source separation and then looking at the resulting spectrograms, then back at the original full musical spectrogram- it helps me parse out the instruments a lot better when they overlap.

There is also a product called 'Celemony DNA' which can do some editing in spectrogram space to remove individual notes.
Honestly, for me, I’ve learned my sleep problem is really an anxiety problem, so working on that gets me the most bang for the buck, by far (through therapy and being mindful, decreasing stress).
Love, love, love the look and feel. Kudos on launching and the top-tier end result.
That's because we aren't building systems capable of self-analysis and awareness. As far as I'm aware, there are only AI/ML systems capable of analyzing some data and giving some output with little to no nuance
Keeping the temperature of the bedroom cold made a big difference for me.

I’ve been listening to audiobooks and podcasts for years and that helped better than not, but turning the radiator off and ensuring the bedroom was cold meant the vast majority of nights meant I went from listening at least an hour a night to often falling asleep within 15mins or less.

I had read Why We Sleep by Matthew Walker and I highly recommend it. Changed my attitude completely - it’s now higher priority.
It's hard for me to afford big books like these. Is there an alternative option?
For one, very sunny places like California are getting very close to the "too much solar" on their energy production. Until microgrids take off, this is going to be a very serious problem in the next 12-24 months. California will probably have one of the lowest kWh/$ rates in the country during summer daylight hours. But off-peak hours will be much more expensive. Adding more solar would not help in these places because it would interfere with the economics of mass power production. The investment to build power plants (nuclear or gas-fired) is too high when you can only run that plant during night-time hours but sit idle during the day. Texas has been in a similar situation, before the Feb 2021 disaster, they were giving away free power at night because of too much wind production. All of that energy production has to go somewhere and grid-scale energy storage isn't feasible just yet. If it's not consumed, then it's just wasted.

Two, the tech is just forming to help solve some things, such as "floatovoltaics". Covering Lake Mead will help, or the Great Salt Lake in Utah. But water is very corrosive. Engineers have also stayed away from putting power lines in water for good reason. The tech for floatovoltaics is just now emerging, and even the national electric code has just put something in it for 2023.

Three, raw materials shortages. Solar requires a lot of silicon, aluminum, glass, and steel. Batteries require a lot of rare earth metals from harmful mining practices. You need billions of tons of copper just to handle the wiring and distribution side of things. Almost all lithium battery and solar manufacturing is overseas in China. There are some in the U.S., but not enough to make a serious dent in solving the overall problem. EV batteries have secured over 140% of the available lithium mines in the world. Alternative batteries like sodium-ion are exclusively produced at scale in China, but startups like Natron Energy are trying to change that (again, not enough to make a dent). But the main point is that there isn't enough lithium, cobalt, nickel, copper, silicon in the world to go around without having some serious inflation and supply chain issues along the way. The tech doesn't yet exist for grid-scale energy storage that doesn't rely on lithium and its closest cousin sodium-ion doesn't have the manufacturing scale to produce the billions of cells annually needed to tackle this problem.

Four, the U.S. lacks political will. Republican states are actively damaging companies who are reducing their carbon emissions. Fox News labels climate change as "woke politics". Thus, you have 40-50% of Americans believing solar panels and EVs as "bad" things. It then trickles down to local politics like where the article shows that Southern states should be accounting for 33% of solar production, but due to poor politics/laws they only account for 7%.
Unobtrusive GUI indicators - small tabs that suggest pulling, textures to suggest numbers of fingers or tapping actions etc. Add a menu item to turn visual hints off if desired, but have the UI be discoverable by default.
To balance out my parent negative comment, I think the semi recent release of browser VS code on GH web (just press “.”) is awesome. Just wish the PR review experience would get more love.
States have the ability to render “foreign” (out of state) entities unable to enforce contracts in their state.

They can also issue tax warrants that can seize your out of state entity’s money from an out of state bank account.

These are commonly issued without any burden of proof and banks are legally required to obey them, so it allows any tax authority in any state to rob your account at any time without any evidence of wrongdoing.

This happened to me once; the state of Indiana whole-cloth fabricated nonexistent tax liability because I didn’t file a form with them, and stole all of the money I had in the world out of my Chase bank account in New York. I almost lost my home. Every claim they made was fictitious. Chase charged me $150 or so on top for carrying out the robbery.

Months later, after spending dozens of hours on the phone and filing many forms, I got most of the money back, less $700 or so in “collection fees” (printing and mailing letters is apparently extremely expensive in Indiana), and of course the bank fees.

Now I don’t keep money in banks.
One of my favorite books of all time. It taught me how computers work from the ground up. Somewhat similar to nand2tetris: https://www.nand2tetris.org/book
If your employer or school offers the O'Reilly Library (or is willing to pay for it as part of your training budget), it's located there. Which is where I've started reading it while I wait for my preorder to arrive.
Not being a VSCode user myself outside of this context I may not have the best experience to answer the first question, but I don't think it tends to conflict with much except perhaps vim keybindings.

As far as using it in tandem with a keyboard, the main issues you might run into are timing. If you happen to be moving the cursor or typing while a voice command is running it could cause issues. You would probably end up having to take a second to pause and wait for the command to finish before starting to use your keyboard. Other than that, you should be able to use the VSCode instance like normal at any point.
I find the idea that papers are judged by a simple up-vote/down-vote terrifying.

Popular academics will post their new paper on Twitter, which will immediately lead to a round of upvotes from their friends and followers. People who are currently out of favour will be downvote-bombed.

I see no suggested way of stopping this -- and I hope noone thinks the answer is academics are "above that".

I'd suggest changing from "people may leave a comment if they wish when they downvote" to "any vote requires at least 200 words of justification". In general I think it's important reviewing requires thought and justification.
Thanks, that sounds much more reasonable. I found some details here: https://www.service-public.fr/particuliers/vosdroits/F2280/p...
What an exciting topic. In case it is helpful, I wanted to mention the company my co-founder and I are building to help measure and manage inflammation levels using at home blood based hsCRP testing and a digital platform: https://www.begolden.online/.

It gives you the flexibility to run your own "N of 1" experiments to see what works for you. I've been measuring my levels for over a year (after I found out I was at high risk of breast cancer and had a bilateral lumpectomy) - you can see the results here: https://www.begolden.online/post/our-ceo-s-hscrp-scores-over...

We would love any feedback on if you would find Be Golden helpful and if there are certain topics you would like to see on our blog
This happens to also be the premise of the videogame Disco Elysium.

The framing of such drives, and the voices given to each, appears to have been a causal element in many players' own personal growth and development, particularly around addiction, but certainly not exclusively.
> I'd run for 30mins outside often times without any music.

Yep, I'm a lap swimmer. It's amazing what your mind does in that state.
Ask HN: Are You Wearing Sunscreen?
I'm seeing a lot of opinions recently on HN about sunscreen, so I'm looking to poll the community on the topic.

For context - I'm living in socal, I'm cycling 70-100 miles for at least one day, 20-40 other days with at least one rest day, and some days past 12PM (70-100 mile days).

For those who are in the sun for extended periods - are you wearing sunscreen? If so, what are you using? If not, any helpful strategies? Thanks everyone for your advice.
These are the after-images, sorry I wasn’t clear about that.

But the brightness is quite low. I look at my monitor for living (software development), and I’m always very particular about having the best possible ergonomics regarding brightness, ambient lighting in the room etc.

And I always see after-images when reading bright text on dark background. From my perspective, it’s a mystery why (some) people like “dark” mode - it always gives me problems I don’t seem to have in the “light” mode.

I was just wondering if there was anybody else who sees the same thing…
That’s funny, I grew up in west Texas and had the same accent. Interestingly, after living in Austin for a few years it was completely gone
The first edition of this book has given me such a leg up in my computer science education and software engineering career.
Well the example of the Linux kernel is an extremely bad one because it is absolutely stuffed full of memory management bugs on error paths. It will leak from `goto` beyond the deallocation, or it will free memory that was never allocated if it branched over the allocation. When pressed to its limits, for example by running a container out of memory, the linux kernel memory management falls to pieces.
So you suggest he is a bad businessman and his success is only attributable to luck. To understand how ridiculous this claim is you first need to realize that there are infinite ways to fail and very very little ways to succeed. Good and bad decisions are not symmetric, it is not 50:50, it is more like infinite:1. But even if it was 50:50, for the thought experiment sake, if you make random decisions you quickly make a bad one, and to be successful you need to make way, way more good decisions than bad ones. Sure luck is obviously always a factor, but thinking that he created a car that he later sent to space on his own rocket is not a sign of extraordinary competence, well, to me you can as well claim that the Earth is flat.
I want a dvcs that stores code review comments directly into the repository.

We need the feedback loop and the historical setting for why we made this decision two years ago. Until or unless we treat requirements as first class citizens in our source code, archeological digs are the last best hope for avoiding reintroducing old bugs.

I also need to be able to go back and disagree with something I or someone else said as an absolute in a commit message that turned out not to be an absolute. That stuff trips up the new people. It’s the worst kind of tribal knowledge.
> Do you have any source? Is this something you heard, or an interpretation of your own? (I’m not being hostile, I’d just like to know.)

I don't remember where I first heard it, and I've seen two people who claim to have direct knowledge say so on HN. One specified it was a 3DES key.

> For that matter, have you any definite knowledge that YouTube uses encrypted sequential identifiers for its URLs?

I mean the whole point is that they don't anymore, but that doesn't change the old video IDs. I have no proof but I'll keep an eye open to see if the supposed key ever becomes more available.

> Looking from the outside, there’s no visible difference between this approach and something based on randomness, save that something random is likely to be longer because that approach is normally paired with statistical collision avoidance rather than checked collision avoidance.

Youtube can easily afford checked avoidance. They're around a hundred videos a second. And they have good reasons to keep video IDs the same short size.

> The reason you increase the sparsity of an ID space is because you have discovered a weakness in the generation scheme (which allows faster guessing of valid IDs), faster testing has become possible than you planned for, or occupation has exceeded what you deem to be acceptable probabilities (which could be that occupation has been increasing, or that it was constant but you’ve changed your opinion on acceptable probabilities). If you’re worried about key leaks, merely changing keys gets you only a brief respite for an already-leaked key.

Well yes the claim is they changed the generation because of weakness. And they didn't change keys, they got rid of the key for new videos.

> In this instance, they gave one month’s notice of a change, and the underlying ID scheme change had clearly occurred about six months earlier. This suggests to me that they did not know of any immediate threat, but were being cautious in just the way they described, for the second or third reason.

> If they did know of a leaked key, I would expect them to state the consequences more forthrightly in the announcement, and have made the change rather more rapidly than they did.

They seem to have acted fast enough to avoid any worries, so why act faster? And why directly invite bad press? And if it comes up they could still talk about how unlikely it is to find any specific video, and guessing was always going to be possible, etc.
The alternatives may be too small

Who's gonna pick (gamble on) a SaaS that's doing < 500$??
I think the better question is why is Stack Exchange a private for-profit business? Why not a non-profit like Wikipedia?
Sorry, you are right. I meant any reference with regards steam passwords.
I started taking a Zyrtec every night and set up an air purifier. I think allergies were preventing me from getting a good night's rest and since doing these two things I've had a noticeable improvement in my sleep quality.
I fully recommend this. The fp-ts is quite readable for JavaScript. Combine it with io-ts and you have a robust way of handling user inputs:

pipe(
decoder.decode(req.body)
, E.mapLeft(_ex => new InputValidationError(decoder.decode(req.body)))
, RTE.fromEither
, RTE.chain(handleInput)
, RTE.match(
error => {
res.status(500);
res.send(error)
},
result => {
res.send(result)
}
)
)(reader)
I think it is a net win. It's one of the only longevity drugs that has an actual significant effect. I don't think the immunosuppression is really a huge danger, there are plenty of people out there taking it and they aren't dying of weird diseases left and right
I am not a pro cyclist like yourself but for what it's worth I have seen some thin breathable gear in cycle shops that will act like sunscreen for most of the body without the potentially unknown/harmful chemicals that may be in some sunscreen lotions. I don't know what to do about protecting the face. When I am working in my fields I wear a straw-hat but obviously that would not work for cycling. I believe the safety requirements for children's sunscreen may be different than for adults so maybe that is worth looking into.
you could working from home without a tshirt because its really hot.
Trealla Prolog is one of the most interesting new Prolog systems: In particular, it is the first Prolog system that uses mmap(2) to map files to memory for direct processing of file contents with Prolog's built-in grammar mechanism, Definite Clause Grammars (DCGs).

This is possible in Trealla due to its compact internal representation of lists of characters by using UTF-8 encoding internally, a representation pioneered by Scryer Prolog.

Thank you a lot gurego for all your work on this WASM embedding!
We solved this by turning GraphQL into a compile time problem and replacing it with JSON-RPC as the transport, keeping GraphQL entirely hidden on the server. It's not just great for security and performance reasons, but also comes with a lot of other benefits, like you can inject claims into Operations. Here's some more info: https://docs.wundergraph.com/docs/features/graphql-to-json-r...
Ask HN: Can successful mathematicians become top programmers if they want to?
One might expect this given that TeXmacs was written by a mathematician.
> The method is able to produce highly convincing gimmicks (which is what it comes to once initial excitement splashes) but that is not how art or intelligence works.

Uh, art is often about reproducing highly convincing gimmicks.

See https://en.wikipedia.org/wiki/Realism_(arts)

I think you mean that Transformers will become kitsch, which probably.
My 2015 MacBook Pro and all the previous MacBook chargers I’ve seen have two-part chargers: the brick-to-laptop connection was hardwired into the brick and typically would fail and require buying a whole new charger. Starting around 2016, MacBooks fixed this issue.
That’s called a mailing list, and it’s supported by Git, no?
Yeah, 2016+ is still new to me :) I used 2015 MacBooks until a couple years ago.
> I'm still on Facebook and let me tell you, you're not missing much in the culture department.

guy above you might have deleted his fb account in the early 2000s. right now, the culture isn't at fb, it's at places like reddit and 4chan.
Perhaps this effect of leaving a problem for a while and then returning also causes you to approach it with a different part of your brain. Like picking a direction at a crossroad and then being unable to go a different direction.
I don't think there's widespread usage of GitHub comments on commits as a code documentation method, since it would be almost entirely unusable (you wouldn't be able to see those comments unless you navigated to the specific commit on Github).

The use case I do see sometimes is having a pull request made up of distinct commits which are each commented on, but that's already a bit of a poor UX in GitHub, easily worked around, and is pretty uncommon.
I switched to https://netbird.io/ for this exact reason.
After playing for a bit, I started to wish for a way to mark cells as done. Then I soon realized it was already implemented, as a right click. Unfortunately, right clicking on my Apple Magic Mouse is notoriously unreliable, so instead I developed an interesting new approach to solving.

I force myself to fix each cell as I scan the board from top to bottom, left to right. I thus have to visualize how my choices unfold downward, in search of clues, or ideally proofs, for how best to proceed. This manner of play reminds me a bit of the "reading" one does in the game of Go to explore variations before placing one's stone.

I hope other people find this more constrained version of interest as well...