skysight-inc/HackerNews huggingface dataset:
It'd be really nice if MathML had better support :(
I dare you to build a several thousand LOC project using DrRacket.
How to turn your car into a tiny camper
I worry such funny algorithms find their way into hardware and start causing chaos in science and engineering. People do rely on COTS measuring equipment for a lot of important work, and there's a tacit assumption that the equipment tries to reflect reality.

I've mentioned this before[0], so quoting myself:

"for example, a research team may decide to not spend money on expensive scientific cameras for monitoring experiment, and instead opt to buy an expensive - but still much cheaper - DSLR sold to photographers, or strap a couple of iPhones 15 they found in the drawer (it's the future, they're all using iPhones 17, which is two generations behind the newest one). That's using COTS equipment. COTS is typically sold to less sophisticated users, but is often useful for less sophisticated needs of more sophisticated users too. But if COTS cameras start to accrue built-in algorithms that literally fake data, it may be a while before such researchers realize they're looking at photos where most of the pixels don't correspond to observable reality, in a complicated way they didn't expect."

--

[0] - https://news.ycombinator.com/item?id=26451691
Pursue the meaning of life in a community of faith.

There is no joy in material things.

The secular therapists and chemicals can assuage the mind and the flesh, but the soul will hunger.
Clojure with VSCode and Calva is the best development experience I've ever used in any language.
I don't know if I actually have something you would call an "install".

I run 3rd party software in fresh Debian containers. So there is nothing in there I would be afraid to "break".
Don't know when's the last time you've played with Yocto, but at this point all you need is to learn how to use devtool and that automates everything for you.
There was a lot of time pressure in those days of the Cold War. The other side was also working rapidly without much concern for safety.

It was probably a consciously-made balance of risk, with relatively "minor" accidents here and there as a result of rushed development vs. the risks associated with getting overtaken by the Soviets. Technological superiority, particularly in that field, was a major factor in the balance of power at that time.
Arrow vs. Armour, a Medieval Myth?
There was a research operating system by Microsoft https://en.wikipedia.org/wiki/Midori_(operating_system), which used a dialect of C#, with some interesting extensions specific to operating system / driver development.
How is asking a question in a court proceeding a violation? That’s the point of the proceeding, no? Did the judge threaten to hold him in contempt for not answering?
TypeScript Toy
" it is often the first step people take to actually better their life."

What makes you think this - and what makes you think that so many folks have so much agency in their life? A lot of folks don't, and if you have depression, you generally have even less of it because you wind up with an inability to see options you do have... if any.

It isn't like everyone can escape poverty or a bad spouse (it takes money to divorce someone or even leave if you need to get your own place). It isn't like anyone can magically make a disease diagnosis go away nor does changing jobs always fix things, especially if the reason you stay is because you desperately need the health insurance or because no where else pays as much in your area (and moving costs money).

We don't make sure folks have tools to improve their life.

Additionally, this really just blames the victim and I really hope you don't say this to folks actually suffering.
That is a wrong and damaging statement. You are ignoring the reality of depression as a disease. It has been shown that depression, in the medical definition, is often not caused by situations in the patient's life.

Thus it is equally foolish to believe, the patients could "better their life" and thereby alleviate depression. Somehow assuming the symptoms of depression actually allow any of that. Hard to improve your life if you can barely get out of bed.

Your comment is the exact kind of stigmatizing, patient-blaming and "just stop being depressed" bullshit that hasn't worked for centuries and contributes to the problem.
Not identical but related: do compilers tune with the OS to get code and data into L1 cache? I believe so, I want to believe you can compile to avoid mem fetch, let alone disc. E.g. if I know my AES needs a 20k table, does the compiler know how to make this apparent to the CPU farm so its never out of L1?

I continue to believe a 2cpu 1mb L1 cache is faster than 2 cpu, 2HT, 512k L1 cache. 4x fake CPUs and less L1 doesn't beat true cpu and lots of cache on die. But, I might be wrong!
While the farnsworth-munsell 100 hue test is definitely doable. I'd love to see a bigger test just for the hell of it.
> I have learned I have only so my F's to give, and so spend them more wisely.

Not entirely 100% percent the same sentiment, but still a pretty good soundtrack for not handing out Fucks too quickly: https://www.youtube.com/watch?v=Vqbk9cDX0l0
I think the OP already addressed everything you said.
Would you have any sources to back this up? Seems like a big claim to go against standard practice.

I suffer from chronic episodic depression. But my life is objectively great and fulfilling. Are you saying that I should not be at peace with my lifestyle? Or that my depression is a nurture rather than nature type issue?

I'm both triggered and curious to hear your thoughts.
there's a "controversial" theory of physics or biology, that's really just another way of saying "there's not convincing evidence in favor of it, and it doesn't provide a productive framework for future research"

That would be nice.

Look at how much models based on absurd assumptions dominate epidemiology, a field you'd expect to have a biological foundation. The whole thing is controversial as hell outside the field because it very obviously doesn't work, but inside the field they don't care because abusing statistical modelling lets them publish lots of papers and get lots of citations.

You could argue, OK, epidemiology isn't a hard science. Maybe it's actually a social science. But at some point it becomes tautological and the definition of "hard" science simply becomes any science in which you aren't personally familiar with the disputes.
Whether it's Apple's latest M1 chip made by TSMC or Nvidia's latest GPU made by Samsung, it's needs to be manufactured using ASML's EUVs.
The crazy part is, ASML was only able to ship 31 EUVs in 2020 and there was only about 100 EUVs in the world as of January this year.[1]

[1] https://optics.org/news/12/1/28
> Bad hires tank companies.

We weren't talking about bad hires, we were talking about mediocre hires. It seems like you expect all companies to higher above-average developers, even though that is mathematically impossible.
I don't know about you but many of us were remote for many many years before Covid.

I don't see this mentioned enough but the fact remains: when you work from home you also live at work. It's a two-edged sword.
Its hard to unplug when you sleep next to your desk.

Sometimes I go to the store, just to leave work/home. A gym sounds nice too, just to go somewhere else.
It should be added that not only appears to be the opposite, the message was that vaccination is still necessary. That cannot be justified with a precautionary reasoning, it was misinformation.
Joe Duffy has blogged about it, excellent read.

http://joeduffyblog.com/2015/11/03/blogging-about-midori/
Its plain bs it has been tested on multiple platforms yielding almost the same times.

Also if pixel count would be an issue smarphones would also go this way as they are more battery time critical.
How oysters can protect against rising seas
The problem seems to be that 'we' don't know how to build nuclear reactors anymore. France has to replace their aging nuclear powerplants in the next few decades. But building a new one proves to be very difficult.

It is not clear to me what changed. There have been a few accidents. But Chernobyl is mostly unrelated to current reactors. Fukushima is of course more annoying but it doesn't explain why so many current projects that try build a nuclear powerplant are failing.
Hotjar has joined forces with Contentsquare
A culture of GUI based tooling and IDEs, with UI/UX workflows as main focus, graphics programming tools, and whole OS Frameworks instead of jigsaws of libraries and fragmented desktop paradigms.
In reality the Elm compiler is probably orders of magnitude slower than clang, it just has much less work to do. A C++ compiler needs to parse / preprocess 100k+ lines of code even for something like hello world.
The container has a system python stdlib, and it's used by apt. If it breaks, everything breaks. I've destroyed it twice, with style I must say.

If any script, or yourself, run "pip install" using admin rights (the default on a lot of container techs), you have a chance to break it.
Also singularity, https://en.wikipedia.org/wiki/Singularity_(operating_system)
Censoring is a verb. They censor (remove content they deem objectionable) communication on their platforms. That is the claim. You’re setting up some kind of straw man here saying they aren’t “a censor” because other platforms exist. By your definition, no true censor exists because someone could always communicate directly 1:1 with someone.
I maintain a gallery of split keyboards for people to see what's available: https://aposymbiont.github.io/split-keyboards/

Discussed here previously: https://news.ycombinator.com/item?id=26179311
Last I checked NativeAOT is not F# friendly, hopefully that's improved recently.
No, it does not provide sci-fi abilities to "enhance" resolution end extract new details.

Because those details are generated by AI.

For example, the woman in the photo might have different teeth in reality. We can't learn anything about her teeth because the teeth in the generated photo are one of many possible solutions that match the input.

Actually, the photo now has less information for practical purpose as you don't know which details are real and which have been manufactured.

So about the only gain is to improve the photo for aesthetic reasons.
How do you reconcile the effect overpopulation has on this planet that said kids are going to inherit with the personal choice of having them? Climate change, plastic and chemical pollution, deforestation and subsequent erosion, factory farming, etc are all linked with the population and its consumption. I think currently each additional person is a net negative to the environment. This might be outweighed by them being a net positive to the society, but it's certainly not a slam dunk.
> It can be impossible to tell with things that only have no - to mild effects.

If any effects are unmeasurable with standard clinical trial practices, then it's safe. People care about things that actually are harmful.

> Proving a negative ("this is not dangerous") is hard :)

Which is why I never asked for it. Safety standards are always phrased positively. OSHA doesn't say "workplaces must not be dangerous", they say "wear a hard hat, the employer shall do ___, employees must not be forced to do ___". It's very easy to regulate that "new compounds must be shown not to affect human hormone levels at X concentration, must be shown not to be carcinogenic in Y model of cancer" etc.
Of course developers should learn and improve. Nobody is arguing otherwise. Yes, people can improve, that doesn't change the fact that the average company employs average developers. If your company hires average developers, then you need to maintain your codebase complexity at a level that is manageable by average developers. All this talk about "bad hires" and such is really missing the mark here.
Government's ignore activists all the time. Not sure why it was apparently so effective in the case of nuclear power.
IDK if it comes from Erlang, there is GenStage on offer in Elixir [0], you can build data transformation pipelines, work queues and more out of it.

[0] https://elixirschool.com/en/lessons/advanced/gen-stage/#
Ich you are interested in that kind of stuff, you may want to check out Rick Beato on Youtube: https://www.youtube.com/c/RickBeato

I never expected that one could process music so effortlessly, until I saw some of his videos. E.g., in some of his videos, he listens to a melody once and can then immediately play it on guitar or piano. If you want to dip your toes, I recommend starting with videos of the "What makes this song great" series.
> My other guess is you mean something like "X is a common area of development in the current year, are there any packages dedicated to that area, what are they, and are they any good?"

I think perhaps what Lisp lacks (or appears to lack) is tentpole developers such as - from the Python world - Mike Bayer (SQLAlchemy) or David Lord (Flask/Pallets), or the Django community, or Kenneth Reitz (Requests) who keep high quality 3rd party libraries going for a long period of time.
Shannon's book, The Mathematical Theory of Communication, is approachable with the mathematical background of first-year college calculus. I don't think it requires any more math than is essential to understand the topic.
Great to hear that; Getting closer to running it as a bare-metal desktop OS by the day.
> silly old movies that portrayed nuclear plants as potentially exploding with ten megaton blasts

Don’t forget the radioactive monsters/kaiju (Godzilla, et al) or fish (Simpsons). Those couldn’t have helped much either.
What’s still annoying to this day is Python imports. I have been doing Python for a while now and I still get tripped up when some bit of code in a folder isn’t importable. I’ve found adding the package dir that I’m working on to PYTHON_PATH works but then my editor doesn’t resolve packages for autocomplete.
In any case, one could consider the Rust epochs as main synchronization points anyway.
Cosmo DB to ChaosDB: Major Azure Breach Exposes Thousands of Vulnerable Accounts
Isn't non-AOT C# (and java) "cheating" here, by warming up?

And isn't not needing warm up one of the AOT selling points?
It's a bit disingenuous to say the government took her property and allocated it to someone else's use. The government, during an emergency, disallowed eviction, but didn't cancel rent. The rent is still owed.

I'm not spinning this as a speculative business gone wrong. I'm saying it's a business, and like all business there's risk. Have you ever done contract work, then had to chase the client down for months for the money? Do you have any idea how bad accounts receivable is in a normal business? Sometimes things unexpectedly go wrong, and businesses go out of business.

If I need to choose between a business going under, and millions of people becoming homeless, it's a pretty obvious choice. It becomes even more obvious when you consider the fact that letting millions of people become homeless also crashes the rental market, as prices would plummet.
I don’t agree with you about the « dead end » of medicalization.

Medicalization really help you to break the circle. It temporarily treats the symptoms and allows you a timeframe where you can work towards the origin of your issues. And if for some reason, you can’t, it at least helps you live a more supportable life.

Here we are in a mental disease but you can easily make an analogy with any disease. If you need re-education after an accident that broke something, the first step is generally to treat the symptoms that could block you to achieve re-education.

As an example, my dad completely lost its equilibrium after a brain stroke. Re-education was long and hard, eventually succeeded, but would have been totally impossible without medication against nausea, which you constantly get when your equilibrium system is failing.

And I would add that, AFAIK, some forms of depressions are purely chemical issues. And it isn’t surprising. There exists tons of diseases that are chemical issues.
Considering it works just fine with a build step it's not that urgent.

CSS Custom Properties, on the other hand, I'd argue were much more important to drive through quickly as a build step can't modify them at runtime.
Actually, just train the classifier on the raw data. Cut out the middleman.
Sorry "basic needs" refered to "basic needs" in terms of 3D rendering. It was an answer to people elsewhere in the thread complaining that this new element would not support lighting and other sophisticated 3D rendering features.

I agree that 3D/VR is definitely not a basic need for the web and i personally don't want/intend to use it. That being said, if there is an established 3D model standard, i think it's better overall if the browser implements it properly, rather than having two dozen half-baked JS implementations eating all your CPU/RAM just to display a tiny square.

Just like technically you can parse an MP4 video frame by frame using JS to display each frame in a canvas, doesn't mean you should. <video> element is much better suited to that, and if that element had not been standardized, we would arguably have to choose between "Youtube browser" and Flash player fallback, which is arguably worse for everyone involved.

PS: Also as other have pointed out in the thread 3D on the web is over two decades old yet has never been standardized. See also https://en.wikipedia.org/wiki/VRML
One could absolutely argue that kids playing videogames 12h a day has an impact on your life, because if every kid spent their time that way, society would crumble in a generation because young people are choosing to play games instead of work.

The topic in question was whether Covid restrictions has made people more comfortable with other authoritarian measures which are implemented to benefit society as a whole. I actually think it's a very apt point and I'm surprised you don't see the connection.
Well, if someone is listening to the girl's voice on the radio, they can guess her age. If her voice isn't on the radio, you as a family member have no reason to believe that it's really her. You need to plan out the route to the rendezvous point so that you know where to look for her if she doesn't make it, and she knows where she should go if you don't show up. If you (the family member) are trying to find a place to stay, or a way to buy gas, it may be crucial information to you that she has money, because that information may keep you from attempting trips into dangerous areas to get it; likewise, that she is unarmed, because, if you feel that you need to be armed, you know that her arrival will not provide that, and you still need to keep considering alternative options, like dropping half a grand at the pawn shop before they sell out. When you are having the discussion with her and discussing alternative possible plans for meeting up, the fact that she is unarmed is relevant to choosing among the alternative plans. You probably also need to discuss with her what things to take along on the trip; maybe she hasn't thought about the need for N95 masks in the recently burned zone, but maybe she can get one from someone at the station.

So really this kind of rendezvous arrangement benefits enormously from being able to discuss such plans at some length, but it would be terrible if random strangers were listening in. Without cellphones, you have to discuss this stuff in advance in order to successfully meet up with people; you can't pop off an SMS to ask them where they are or let them know you're running late.
Dependency Analysis of Haskell Declarations
"Chance to break" what?

It is not as if I manually work in a terminal inside a container that is somehow permanent and valuable.

I just once create a dockerfile with the commands to set up the application I want to use. That's it. From then on, I use that container whenever I want to use that application.
the reference note needs to be listened in your ear to check wether the note you are imagining matches the reality, if it does then you can confidently (if you have trained it) find the intervals.
I was using a precomputed table of sine values in 3D graphics way before Quake ever hit the scene, and I certainly didn't invent that idea either.
"k{number}s" means k8s, right? Is this a reference or something?
Probably I'd think Katie was off her skull, or someone who didn't know us was trying to trick me into going to Y. If I did think Katie was just lying, I'd wonder if she was lying about Y too.
Fair enough. Your parent comment seemed to imply otherwise :)
Wow, this is basically deconvolution. Can't wait to hear this applied to reverby audio. Reverb is basically blurring ('smearing' of sound) in the audio domain.
I've commented further at https://news.ycombinator.com/item?id=28360306.
Death by Specificity (2015)
There is an app called "face app" or whatever that already did pretty good job upscaling people's face using state-of-the-art AI upscaling.

The result is impressive, but the moment you started to use it on someone you're actually familiar, it becomes weird very quickly for the obvious reasons. The teech, for example, are never right.

This kind of "believable but not truthful" results are rampant in all these machine-learning based tools. It's not very harmful in case of upscaling a few photos I guess, but I've been bitten by it in an acclaimed translation service called DeepL. I use it to translate Japanese to English frequently, and have found that it often (nontrivially) made up sentences that don't exist in the original paragraphs, sometimes have the opposite meanings, or totally ignore part of the text to make the result "more fluent". And unlike traditional translation tools, they are very hard to notice if you know nothing about the original language. I have to from time to time use some more "primitive" translation tools, and compare the results side by side, to avoid such issues. It's frustrating.
It doesn’t make sense.

Companies that build their own hardware are not and should not be required to somehow care about a <0.01% minority that want to run a different OS on their hardware.

It’s been done for decades with consoles, cars, TVs, etc space and now suddenly they’re all anti-competitive from the get go?
Not taking anything personally is not an art, it's a basic (although not necessarily easy for everyone to develop) skill essential for healthy functioning in today society. There are so many morons and unfortunate incidents and tendencies taking place around, almost everyone is doomed to be exposed to a lot of toxicity regularly so a habit of taking everything seriously almost should be considered a disorder itself. Just switch it off. Imagine you are just seeing it on TV in a fiction movie or whatever. Stop caring about things you can't change and believing misbehaving people to be personally bad, they are just malfunctioning. Some experience of working in tech support, customer care or sales helps a lot.
You must understand the semantics of the monad you are operating in, but both cases are still handled in the do-notation version.
It's priced in at the confidence level the market has. If you're more confident than the market then it's an opportunity to make money. (You also have to be right, of course.)
Ask HN: How to deal with loved ones that are affected by fake news?
Hey,

I continuously have discussions with loved ones, that are affected by fake news regarding the current covid-19 pandemic.

It is really difficult do argue with them, because they are well informed in their bubble and have a lot of arguments that are hard to counter. I don't have the time to counter-proof every single fallacy.

I observed that all these people frequently get new posts and even longer videos. They use these to let me 'understand' their point of view. Watching these videos to have a basis to discuss on is time consuming, too. There are fewer videos to counter these - and in my experience just sending back counter videos does not help to convince them.

Have you experienced similar problems? Did you find a practical solution for your situation?
Pyflow: An Alternative to Poetry and Pyenv