skysight-inc/HackerNews huggingface dataset:
Wouldn't it be more practical to have a prominent CO2 monitor and only exchange the air (maybe by opening the door for a few seconds) if it CO2 gets too high ?

Maybe it's hard keeping a co2 monitor operating in humid sauna conditions, I dunno.

Also, given that many saunas are not airtight, I wonder what a steady state CO2 concentration would be. It may be high, but not dangerous.
They're probably just banking on the fact that MyHeritage has a lot more customers than either one of those, who probably haven't heard of either one, and are already proven to shell out money to research their family history. Whatever you show them first, they'll use. Of course the smart customers like you are going to stick with the better alternative but I think you're in a small minority of elites.
> 8-bits works fine with a bit of dithering

Yes, but the place where you want dithering is in the display, not in the image. Dithering doesn't work with compression because it's exactly the type of high frequency detail that compression removes. It's much better to have a 10 bit image which makes the information low frequency (and lets the compression do a better job since a 10 bit image will naturally be more continuous than an 8 bit image since there is less rounding error in the pixels), and let the display do the dithering at the end.
Nobody has ever independently verified any of the claims Safire has made. It's wishful thinking at best and a scam at worst.
two reasons for me

1) tidyverse makes prodding and plotting my data faster and more enjoyable. when I am prototyping a model I'll sometimes do the groundwork in R and then migrate the production version to python

2) I can't seem to write data wrangling code in py that is as aesthetically pleasing and easy to reinterpret later. could just be that I started in R, but while the methods in pandas "work" I don't always totally understand why they work the way they do. with tidy it works the way I expect and feels easier to read back and iterate on
eh. you underestimate global thermonuclear war.
When I created this handle in 2017 the likelihood of anyone thinking my comments were not written by a human was a lot lower.
Where does "tight music" come into those constraints.
> Did you learn about modular arithmetic in math class?

I knew some wiseacre would say that. No those aren't integers, they are equivalence classes of integers.

Yes there are times when wraparound is desirable, just like there are when addition mod 12 is desirable (when figuring out times of day). But you don't want the default behaviour of integers to give 8+5=1. If you want that, fine, but ask for it explicitly.

For example, in Ada, if you want modular arithmetic, just specify it in the variable declaration. That is the right way to do it. C++ gets it wrong in that unsigned overflow is modular, signed overflow is UB (so at least you can ask the compiler to signal an exception), but there is no option of unsigned arithmetic where overflow is an exception.
Yes, but the majority of the funding goes to the increasingly bloated institutional overhead. NYU takes 61% of research grants [1], while Columbia takes 64.5% [2]. That doesn't include other fees that PIs might pay in addition. These percentages keep going up year-over-year and are even into the 70% range at some institutions.

[1]: https://www.nyu.edu/content/dam/nyu/research/documents/OSP/N...
[2]: https://www.finance.columbia.edu/sites/default/files/content...
Yes, this is correct. The orbital precession occurs even for a point mass.
I've got major doubts on a lot of these claims. Shimmying modern Android into an e-Ink display and physical keyboard is going to be a strange experience even if you truly want a zero-distraction phone.

Supposedly it's going to protect your privcy but they also claim you can just download apps from the Play store. Seems like a bit of an unnecessary promise.

Navigation with map apps in particular is going to be awful on the e-ink display. Really, a lot of "basic" non-social media non-addicting apps involve a lot of motion that plain and simple isn't designed for e-ink. Uber is highlighted as one of these apps that you might want to use without a distracting smartphone, but think about how much motion is involved with the Uber user interface when you use it. The whole interface plus the map is doing a bunch of smooth motions that do not take low refresh rates into account.

The physical keyboard basically has to be there due to the shortcomings of the display, but I think when you go back to physical keyboards on phones you'll quickly realize that they are awful to type on compared to modern predictive autocorrect. They also can't adapt at all to the specific apps on the system. Say goodbye to emojis, stickers, and GIFs when you talk to your friends! Imagine what Slack will look like on this thing, and that's an app I have to use for work!

Another odd claim is that the device will be $400 but be available with early bird discounts below that! That's an impossible price for an incredibly niche phone with heavily customized software.

One last comment on this concept: when you think about the most mainstream smartphones in the world, what is the most physically distinguishing physical feature on them – the one cosmetic feature that identifies the phone with a brand? That's right, the cameras. That's no coincidence: it's the most important feature of the smartphone. It isn't mentioned at all with this phone, and questions about it on the AMA were ignored.

At face value it seems like video calls and perhaps even sending simple photographs will be a major challenge on this phone. I think most people who want to curb smartphone addiction aren't looking to compromise healthy things like sending photos and videos to their family and friends.

I just get a feeling from the AMA [1] that this company is biting off more than they can chew.

Finally, it's plainly obvious that you can get all of the "unique" features of this phone by setting up simple OS settings, like setting your screen to greyscale and setting up screen time/disallowing social media app installs. Essentially, this company is trying to sell an OS preference pane as a standalone product. It will fail.

[1] https://www.reddit.com/r/TheMinimalCompany/comments/19a6xr5/...
They do keep runtime array indexing checks on. I'm pretty sure I remember reading a comment from Steve Klabnik on here that they only turned off overflow checks in release builds by default because array range checks stay on. With neither over/underflow checking nor array index checks, it's a lot more likely you'd accidentally use an out-of-bounds index.

For example, there was an iMessage vulnerability a while ago that relied on unsigned overflow to create an undersized buffer so that data would be written out of bounds later [0]. If it had been written in Rust (or Ada), with overflow checking on, it would have panicked upon overflow, and with it off, it would have panicked when using an out-of-bounds index. With both off, you get this vulnerability.

[0]: https://googleprojectzero.blogspot.com/2021/12/a-deep-dive-i...
Seeing how the summer mean daily maximum in my city is 95.8 deg F and the mean humidity averages 80%, I think we already cross your threshold frequently. It hasn't killed us yet. I would frequently go running in the afternoon during "heat stroke" days. I love that weather. Hot and humid summers are personally invigorating. I grew up with them. I'd like to see your sources.

> Currently the earth is warming at about 1/3rd of a degree F per decade.

Every decade our technological capability increases dramatically. We're already working on climate engineering. Nothing here will extinct us.
We are? You have evidence for this?
Most complaints against lisp predate all of the currently in use editors, though? More, it used to be a bit of the norm that everyone had their own editors. Dr Racket being in that vein.

Such that, sure, emacs can feel awkward. But the Arduino editor isn't exactly smooth. And my kids picked that up ok.

And a big plus on common lisp is that the older texts all still work.
The original article in High Country News (https://www.hcn.org/issues/56-2/wildlife-learning-to-live-wi...) reads "In 2022, gas prices reached more than $7 a gallon; a gallon of milk can cost $8."
I'm not sure the guards would be so stupid as to not know what the tapping means. It may be hard to tell where the tapping is coming from, though.

> averaging 6 taps and two short pauses per letter

This would be true if the letters are used with equal frequency. But they are not. Morse encoding uses short sequences for more common letters and longer ones for less common letters. For example, Morse E is dot, and T is dash.

https://en.wikipedia.org/wiki/Morse_code#/media/File:Interna...

For tap code, E is 5-1 and T is 4-4.

https://www.inverse.com/article/11684-the-flash-and-tap-code...

The advantage to tap code is it is easier to learn. Which, of course, also makes it easier for the screws to learn it and "tap" into those communications.
Except tomatoes are more than 4 times as expensive as potatoes. :D
"On December 13, (Worland) was on a snow machine, trying to scare off a herd that had come within half a kilometer of the lot. No one else witnessed what happened, but one of the animals charged him. Worland received a fatal laceration to his femoral artery, and by the time emergency responders arrived, he had bled out."

Of course, Curtis Worland's death is a tragedy, and my heart goes out to his loved ones. But danger is a part of life, and humans simply don't belong everywhere. There's precious little space remaining on the planet for wildlife.

In the past 40 years, Earth has lost fully HALF its wildlife (https://www.theguardian.com/environment/2014/sep/29/earth-lo...) and 97% of Earth’s land area may no longer be ecologically intact (https://www.frontiersin.org/news/2021/04/15/97-of-earths-lan...).

Sometimes, we have to decide that the animals have the right to defend themselves, even when it means fatal risks to the humans intruding on their habitat.
It's not a DSL.
The other sweet advantage of having designated read and write buffers (beyond decreasing sync costs) like this is that you can potentially resize one of the buffers as your reader or writer switches to it!

Mostly buffer sizes are static, but also technically it's been hard & costly to change, cause buffers are live & ever changing. The switchover points of the blip buffer are a nice opportunity where no pause, no data copy is necessary.

I didn't know there was a name for the dual circular buffers. Neat! Hello Bip Buffers.
This isn't true for web use cases. There being able to start decoding from when the first bits arrive vs the last bits can make a difference (which JPEG-XL does a lot better than other image formats because it first sends all the DC coefficients which lets the website display a low resolution version of the image and then fill in the detail as the rest of the image comes through.
Oregon Decriminalized Hard Drugs. Now It's Reversing Course
Previous related conversation: https://news.ycombinator.com/item?id=36959267

https://archive.is/1H6sg
> the problem with Lisp is that it's sorta bundled with Emacs

What's the problems with Alive, SLT, Slyblime, and Vlime? I mean, I use Emacs, but I was using Emacs before getting into Scheme and CL anyway.

> Every website that teaches Lisp is in ugly HTML+CSS-only style

I dunno, I feel like the Community Spec (<https://cl-community-spec.github.io/pages/index.html>) and the Cookbook (<https://lispcookbook.github.io/cl-cookbook/>) are fine.

> I like the philosophy of (s-exp) but modern lisps have ruined its simplicity for me by introducing additional bracket notations [like this].

Yes, that additional notation is a terrible blight on the perfection that is S-expressions, I wholeheartedly agree.
Safe in the sense that it's true that I don't have any objections to Antarctic tourism.
I believe that free speech is crucial to human thriving, but just by its nature of being a centrally controlled platform which pushes forward the ideas it wants and takes money from advertisers, Twitter has never been free speech. And if you're going to have rules on what speech is allowed and algorithms that push certain speech forward, it's very telling what speech is allowed and what speech gets pushed forward.
Hi all my name is Cole! I am a Data Scientist and Product Manager with experience in a marketplace startup. My jam is using a combination of data and empathy to drive product strategy.

Location: Vancouver, BC

Remote: Yes

Willing to relocate: Yes

Technologies: Python, SQL, R, Tableau

Resume: https://www.linkedin.com/in/colebeevor-potts/

Email: colebpotts@gmail.com
It's cheapest overall for an employer to pay market rate for new hires and give existing employees small, regular raises.

If you need to hire someone, you're going to have to pay market rate for a particular hire. You can pay less for less skill or in certain locations. You can try to offer below market and wait for a candidate with few options to accept. But you can't really get around this. If market pay is going up, you're going to have to pay more than for existing employees. If pay is going down, you can pay less than existing employees. Usually it is the former, but there are absolutely companies right now in the declining wage situation where they are paying new hires less.

As for existing employees, most will complain if they are being paid less than new hires, but only some fraction leave. Usually bringing everyone up to the new hire pay level costs way more than the cost from backfilling positions where someone left for more pay or to give counter offers for those you want to keep from leaving.
*bittersweet angle grinder noises*
How user groups made software reuse a reality
P.S. After experimenting a bit, tap for dit and taptap for dash seems to work fine.

For fun, get a pencil and tap SOS on your desk (or rattle your jewelry):

tap tap tap taptap taptap taptap tap tap tap

If you don't have a pencil, bang your cell phone instead!

Hey, that gives me another inspiration. Don't need a rocker switch to enter Morse in your phone. Phones have an accelerometer, just bang the phone!
A computational approach to emergence in complex multi-level systems
Does it make money?
I guess it might depend on where you are
> spending the money necessary to solve social problems

There's a certain idealism descended mainly from Rousseau that humans are inherently good and if they commit crimes or act in dysfunctional or evil ways, it's because society has corrupted them. It follows that money and govt programs can correct all these problems (in reality, some vague maternal care instinct that often manifests as letting vagrants run roughshod over public spaces, if your community Walgreens is bare and you can't buy basic toiletries cause the DA stopped prosecuting theft you have no right to complain because this is simply late-stage capitalism, don't ya know).

Meanwhile innocent people are routinely violently attacked by truly evil criminals who should be locked away in jails or worse. CS Lewis also treats this subject as a matter of medicalizing morality in "The Humanitarian Theory of Punishment" [1], where he argues that far from being sophisticated and humane, humanitarian notions of "sinfulness" (crime, drug abuse, the now commonplace social-justice attitude toward "thought crimes", etc.) ends up being dehumanizing and deeply disturbing:

> Their very kindness stings with intolerable insult. To be ‘cured’ against one’s will and cured of states which we may not regard as disease is to be put on a level of those who have not yet reached the age of reason or those who never will; to be classed with infants, imbeciles, and domestic animals.

[1]: https://classic.austlii.edu.au/au/journals/ResJud/1954/30.pd...
It really papers over (some of) the tedium of the game and let's you enjoy the rest easier. Love it.
Neither. Stocks move up and down. Their revenue was like 5xing with also zero stock movement, and this is way before he did any sort of controversial tweet. Stocks are irrational. They zoom up when they want, and fall off the same.
Newspapers.com is an Ancestry.com property. I'm not sure who's the larger company in terms of user base, do you know their respective sizes?
The whole web at maximum FPS: How WebRender gets rid of jank (2017)
// A fair wage is what the market will pay //

Well, I wouldn't go that far (cf. my example above on the pay differential between the oldest profession and the second-oldest profession) But it does at least set prices in a way which both buyer and seller agree on.

// they aren't educators, etc //

You have a way to let teachers make substantially larger wages? Let's hear it:-)
This is the system working as intended. It's great that they are putting their original research on AARoads. Wikipedia can quote the noteworthy parts.
Sorting the Self: Assessments and the cult of personality
And yet bounds checks were kept. Other compilers for other languages gave the option to disable some or all of the range checks, or to enable thorough validity checks. Not an all-or-nothing 'debug' toggle, but project- or file-level options for runtime checks.

On most code I worked on the bounds checks are really not having a large performance impact, especially on modern processors and it's been a very rare occasion I had to remove them, most recently converting the code to SPARK and proving the absence or runtime error. If people are OK pleasing the borrow-checker I'm sure they'll enjoy interaction with the prover (which farms most of the work to why3 and SMT solvers) to make sure their optimisation is actually safe.
Have they figured out what causes double descent yet?
I joined 2 months after the company's incorporation as the third cofounder. I signed only RS purchase agreement, and employment letter.
Not any sources/overview as such, I just looked at the VM code.

So for Mako: https://github.com/JohnEarnest/Mako/blob/master/src/MakoVM.j...

Freeforth: https://github.com/dan4thewin/FreeForth2/blob/master/ff.asm

Jonesforth: https://github.com/nornagon/jonesforth/blob/master/jonesfort...

Stoneknife: https://github.com/kragen/stoneknifeforth/blob/master/tinybo...

Retro/Ilo: http://ilo.retroforth.org/ilo.txt

Sectorforth:https://github.com/cesarblum/sectorforth/blob/master/sectorf...
but see: https://github.com/cesarblum/sectorforth/issues/6
and: https://github.com/cesarblum/sectorforth/issues/8
> "That's a per-galaxy parameter."

No, variation in galaxy properties is an output, not an input, of the model.

You could decide to quantify and catalog different galaxies with one or more parameters that describe their properties. You could then compare whether that catalog is statistically consistent with the output of the model (and must take into account all uncertainties in the model and the observations).

By analogy, you can measure that different people have different heights, but it does not mean that the specific height of each individual person is a unique input parameter in any fundamental model of biology.
Similarly, you can compute the modular multiplicative inverse by passing -1 as the second argument to pow()
It’s a rate not a quantity. $2/litre sounds expensive to me, in Toronto you can find milk for $5.78/4L.
I agree unfortunately at the moment there aren't any wireless split keyboards in my budget and my history with keyboards is such that I consider them consumables and paying $300 for one is too much for me to consider.
Article concludes that tardigrade spores cannot revive under lunar condtions. So instead of "may have," the corrected headline should read "didn't."
Just so you know: https://grapheneos.org/ and https://signal.org/ do exist!
AT&T did this all the time, especially to shed older workers.

Usually it's a veiled threat to older workers: take this good voluntary deal now, rather than the worse involuntary one
For the life of me I don't understand how deploying to 10 machines is functionally different from deploying to a billion machines as the process is exactly the same. Unless you sabotaged your deployment machines with some manual meddling, it's the same with Docker images and Ansible.
I tried but the survey kicked me out because my schedule is unusual. I typically work from home 4 days per week with only 1 day in the office.
GoGoGrandparent (YC S16) | FULLY REMOTE | Full-time | US, UK, or able to work 4+ hours overlap with mainland US | Senior/Staff Backend & Lead Engineers | $100k-$160k

Build high-quality, robust engineering at the rarest of things - a Silicon Valley startup that is both wholesome AND profitable. We have 8-figure revenue, are YC-backed, and growing fast.

Tech stack (required): Back-end heavy (Node, Typescript, MySQL, REST* / GraphQL), deploy (AWS, Docker/K8s)

Minimum 5 years experience (with Node). If full-stack, you must be strongest on the backend.

2-stage interview process.

If you want to help older adults and people with disabilities, send your LinkedIn/CV to william@gogograndparent.com (keep it brief) or apply at https://www.ycombinator.com/companies/gogograndparent/jobs
Laws don't pass themselves, you don't necessarily have to outlaw lobbying.

It sounds like you have the assumption that legislators will always eventually give in to bribes and lobbying. If that's the case, what the hell are we doing here at all? We'd be better off with no legislators at all.
"Coders" will probably continue to be monetarily valuable for quite some time.

The hard truth is, software devs/engineers/programmers/etc. have low social value/status despite their earning power.

It simply isn't respected in society. It's either perceived with contempt at, e.g. west coast privileged tech workers, or with disdain as a job for nerdy/feeble people everywhere else.

So the result is, a "software engineer" is desired at best as a provider of money and resources. It will never be sexy/desired --that role will be resolved for the gentleman maintaining your fancy pool while you're busy writing code.

This is the real reason a parent might steer their kid away from this path.
AARoads is not a competitor to Wikipedia because it doesn’t try to be a general-purpose encyclopedia. Similar to how HN is not a Reddit competitor. They have different goals and thus complement each other.
I used to believe in the use case of projects like these but I think AI is making their case significantly weaker. The idea of "hey, you're a backend dev and can just quickly generate a UI in your own language" is quite a valid one, but these days you spend a a couple hours on ChatGPT and get a pretty decent UI out of it, without needing to really know frontend.

I'm far from being one of those people that's like all in on AI, but I've definitely been super impressed with its abilities to generate basic boilerplate code when you're working on project from scratch.
truth is helpful
see above … to share a little more detail: every time i developed a new strategy it would make money the first few days then lose money, and i did not have enough runway to keep going and determine if over the course of a month it would consistently keep making money. so my lack of capital made it hard to experiment.
I hope it's not about Red Hat :(
no need for hard to remembers commands. You just have to wait to complete account creation before connecting it to the internet for the first time.
MovieLens – Non-commercial, personalized movie recommendations
I prefer the steam room at my gym over the sauna because it's much less crowded. I'm convinced the sauna gets more traffic in part because you can use your phone in the less humid environment.
GitHub App installation "act on your behalf" warning
Researchers create AI worms that can spread from one system to another
Wikipedia has a couple of devices to solve this organizational problem: "full article" links that appear at the top of sections, and "list of X" pages. So in your examples, you'd have a three-sentence "History" section on the Route 48 page, with a link to the full article on the history of Route 48 at the top. For your second example, there would be a "see also" section at the bottom of the article, including a hyperlink to "List of Homeomorphisms."