skysight-inc/HackerNews huggingface dataset:
> 1. every tmpfs mount is considered to each have as much free space as there is RAM in the system (total RAM, not free RAM!)

This is wrong as can be seen from the output of `df -h -t tmpfs` on a Linux system:

df -t tmpfs -h
Filesystem Size Used Avail Use% Mounted on
tmpfs 22G 168K 22G 1% /dev/shm
tmpfs 8,6G 2,2M 8,6G 1% /run
tmpfs 5,0M 0 5,0M 0% /run/lock
tmpfs 4,3G 464K 4,3G 1% /run/user/1000

Every tmpfs has a different size / available space.

> 2. the "used space" stat will track unlinked-but-open files, which for a tmpfs shouldn't be thought of as even being "in" the tmpfs at that point

This is also wrong as they still count against the space the given tmpfs might use. That is relevant information when something reports ENOSPACE.

> If you want to know the disk usage of a tmpfs dir, use du(1).

This number is usually irrelevant.

> > If /run is already a tmpfs mount point, why does /run/lock have to be one as well?
>
> I believe this is a long-term deprecation caught in mid-transition

This is wrong too. /run/lock is a separate tmpfs as /run/lock is world-writable, but /run is not. It's basically to prevent denial of service by using the world-writable /run/lock to fill the /run tmpfs. Which separate tmpfs for /run and /run/lock this is no longer possible for all users.

This is also why /run/user/X is a separate tmpfs.
There’s not much need for turnover, plenty of companies publish quite a bit on how their systems work. You can look for recsys papers from your favorite company if you want. The Netflix recommendation systems workshop is also good and has many industry talks.

The reality is that there’s a lot of (what is essentially) matrix factorization, and not much of anything nefarious or very interesting to most people who are not recommendation system engineers.

Another thing is that these systems are intentionally hard to game even if you know the weights. The systems optimize for things like P(comment|personalized features), so even if you know there’s a high weight in the scoring function for comments, just commenting a lot on your content isn’t sufficient. You need the system to predict that other people will also comment.
Any “decent” dev in India will simply take the H1B train to America if they’re being paid $45 a day.
Driverless cars are not "public transit". At best, they're slightly cheaper taxis.
The climate argument really doesn’t track for me.

If remote work does lead to people abandoning cities en masse, the climate is a huge loser. All of a sudden you have people who are moving to more remote places, who will likely be driving instead of using public transit, buying bigger homes with extra work rooms, and so on.

Instead of reversing the 1960s trend of suburban developments, wfh will only accelerate it. No climate concerned person would cheer that on.

The one good thing about remote work is that it does reduce business travel. Maybe that’s enough to make remote work climate neutral, I don’t know.
I believe the correct term is biometric theft
Maybe the stable horde could work it into the project.

https://stablehorde.net/
Yeah, but... surely, when you were iterating on a post, you were running Jekyll with --limit_posts or doing an incremental build?

I agree, it's a nuisance that a full build can take a while (my own site, which has almost 600 posts plus a bunch of other random pages, takes at least 30 seconds for a full build, if memory serves), but it's hardly a dealbreaker.
That's a really nice solution. I'm not sure if everyone would be on the same page handing in their personal cell number like that, but I'd consider it 'problem solved'.
Those corporate sponsors are currently still using C and C++ for this kind of stuff and there is no change in sight.

Alone how much Azure Sphere gets sold as high security device, and the SDK is C only. There is a new preview support for Rust, yet nothing announced for the stable product, only C on that one.
Hoping for 'UK' with 'Rendezvous 6:02'.
Fishing for compliments/reassurance. It's not like these marketing strategies rose from nowhere, they are learned from real behavior.
>_exactly_ like malware

But it's googlevideo.com. I know this is Google/YouTube's domain so the rest doesn't matter.
+1 from a fellow BCI PhD. EEG tech is not ready for this application yet.
Not a CF employee but I am pretty sure it's working as intended as they built and use this:

https://github.com/cloudflare/mitmengine
Let's also not use linters because... why exactly? Or let's go back to writing ASM because programmers no longer know how the CPU works. The whole point of abstraction is that we can do more, better, more efficiently.
That ad is just ... oof. Either I don't get German advertising (though I speak German) or the ad is poor.
Is this similar to cursor.sh, or does it have advantages over that product?

It's hard to tell if "knows your entire codebase" refers to small-context-window retrieval-augmented generation or something like loading all your code into Claude 100k.

Also, an ask: a voice-to-text input would be earthshatteringly cool. I am waiting with bated breath for the coming moment where it becomes possible to code for extended periods by rubberducking alone.
Yeah, that's some weird editorializing on behalf of the author. The "flaw" is mentioned only in the headline, the text just explains how the format works. It's not a flaw, just working as designed.

There's also this bit:

> Google makes it computationally expensive to decode, alter, and re-encode without the C++ source proto files

Yeah, it's computationally expensive if you use unoptimized Python code to do it. If you write your code in C (or another compiled language) then scanning 1.8MB of protobuf code should be trivial, with or without the proto source files.

I'm pretty sure that making Protobuf files hard to decode without sources is not a design goal. If it was, they did a pretty lousy job.
I wish modern architecture writing could go back to being this straightforward:

"There are three dominent themes in building high transaction rate multiprocessor systems, namely
shared memory (e.g. Synapse, IBM/AP configurations), shared disk (e.g. VAX/cluster, any multi-ported
disk system), and shared nothing (e.g. Tandem, Tolerant). This paper argues that shared nothing is the pre-
ferred approach."

https://dsf.berkeley.edu/papers/hpts85-nothing.pdf
I’ve never connected my c2 to the internet and it’s great.
In aggregate, sure. At a personal level, probably not. Just pick whatever works.
I know absolutely no Japanese letters. And FWIW, I also know absolutely no Chinese/Mandarin (btw are they the same?), Korean etc.

I speak two languages — English and another language you probably haven't heard of that does not use English-looking letters (such as "a", "b" etc).

Anyway, provided I'm told that a given text is Japanese, I can tell if a letter is Kanji, Katakana, or Hiragana.

Which I think is commendable — if I may say so myself — given I didn't even know about the existence of "Kanji", "Katakana", or "Hiragana" until 3 years ago.
Can a worker-owned restaurant work?
That is laughably naïve. Plenty of parents think their little angel can do no wrong and will at best ignore evidence to the contrary.
Except there is no language revolving around how you have to be there, expectations for it to form the core of your social experience, etc.

I was never homeschooled, and I think homeschooling is generally not a great idea. But there should be an alternative. Anything that doesn't have a pressure valve like that is screwed.
ADD ONE TO COBOL GIVING COBOL
Basta: Terminal status line in 153 lines of Bash
Agreed, the eye tracking itself is really a mostly-solved problem (Tobii are indeed leaders in the area). It's how it's used that matters - and as mentioned above, it's likely that it's the usability/interface that needs work.
WRT PDF, if you want it rendered flawless, you want it rendered verbatim. No reflowing or columns removed.

That means an e-ink device the size of the pages. So probably A4. A device of 21x30cm. (8.2x11.7inches). That is huge. Equivalent of the largest iPad.
In my opinion, the author aims to introduce entropy as a metric to evaluate the stability of processes. Creating room for advocacy against process changes when new additions/changes are likely to increase entropy by introducing new outcomes.

Example - engineering teams can be obsessed with introducing new variables to a sufficiently stable system with the intention to improve stability. But in turn, reduce stability due to inaccurate impressions of stability of the new variables.

This approach generates a bias against change, but in many situations this bias is helpful. This allows engineering teams time to observe process outcome distribution over a longer duration, improving the data backing any process change decisions.

Edit: added explanation
I was part of developing the Lumin-i variant of this (working for Smart Eye)! Working with the Smartbox team was a pleasure :).

The solution actually works pretty well, especially when calibrated to a single individual.
Given how deeply some of those guidelines reach into what's on each test, the curricula are often distinguished by how they describe the same things.
Yes it was an awesome game on the Amiga. Kind of mind blowing that it could run on the C64 as well
> If a kid is a bully then the parents organizing the group can kick that kid out

Or they can approve of the bullying. Or they can do nothing because they don’t care, or because they’re socially subservient to the bully’s parents.

It’s simpler to handle personal problems in a small group, it’s also easier for them to fester in a closed group.
>Is a person that uses Linux or FreeBSD without paying for it also a 'freeloader'?

A few times? No. All the time, without ever giving back? Yes. It's the truth.

It's not about money specifically, it's about contributing to the open-source movement in general. This movement is why desktop and server computing is as open as it is and we're not all renting our dev tools and OSes for a monthly fee to one of the dystopian tech giants.

It's like if you joined a commune where they provide you with a room and meals at no cost. They tell you you can stay as long as you want. If you're still there after 2 years, you don't think you oughta give something back?
Minimal FORTHs (https://en.wikipedia.org/wiki/Forth_(programming_language)) can run on an unexpanded VIC-20 (5K) or even early TRS-80 Model 1 (4K) -- with room and functionality to spare...

On the VIC-20, you even get a few colors!
> The only thing that you will need to do is "bundle install" once your Ruby version is updated, which can be prevented by not updating Ruby. I just locked the ruby version in my package manager as I only use Ruby for Jekyll.

I'm not sure that's a good idea. While you might avoid unexpected updates to Ruby, you'll also avoid security patches for CVEs.
I really like the yahoo mobile interface, for one it lists all the subscriptions and unsubscribe button at one panel, second its search is really powerful and can pick all the matching mails from certain sender, or having some word occurring (unlike Gmail, in its mobile you can't select all, and in desktop everything is paginated).

It also lists all transactions mail in one panel, so you can clear them at once if everything is checked, you can however use gmail to filter down the promotional and spam emails and clear them at once from desktop.

I initially thought of using python or something with SMTP, but it wasn't that feasible than how much mobile yahoo client helped me. I trimmed down 6 mailbox with over 20k mails each (one of them going over 43k), to around 40 mails on each.
Input token limits still don't mean that that program always halts. It could, after a very very long time, loop back to a previously visited state. That's the only non-halting outcome for any finite approximation of a Turing machine, after all. Including your brain.
woud this be like HN but a city? Can't say or do fun things that aren't "adding value" or engage in discourse with an unpopular view unless you get shadow-banned (they throttle so much, I can't have a discourse if more than 2-3 people reply to anything I post here lol). The goal is to add value, to protect value which means maintain appearances and orderliness and conformity so that the sensibilities of the elite are guarded and the majority of the desirables come and stay.

Ugh, at least there will be a lot smart and kind people there? And a lot of niche cities like austin, portland, seattle and such are already very tribal like this? But too much like living in a billionaire's mansion for my taste.

There could be a far worse group to start a city. I think this is a net benefit for CA, more housing and infra is always good and I am glad more people will find a place they belong at.

My only problem with this would be if they plan on building a lot of short or single family housing. More tall multi family housing will improve the overlall situation.
Only hobby coding, leetcode stuff and such.

Work is all about Java, .NET, Web and mobile OSes, Rust hardly brings anything to the table there, other than less capable tooling, higher attrition with existing ecosystem and complexity in designing borrow checker friendly algorithms versus automatic memory management.
Ask HN: Why paywalled content is not banned yet?
Why is HN not banning paywalled contents from medium and similar?
I was experimenting with this just last week. The TRS-80 CoCo was my first computer and I still have one. A year or two ago I was able to read and write data to a modern digital audio recorder.

I think a program could be built to write the audio file that the TRS-80 would understand. Then you could translate a code file to audio and LOAD it. I wrote such a program with the help of ChatGPT last week but the wav file didn’t quite sound right. After more research, I think it might be right and I just don’t remember the sound quite right.

This post made me think you might be able to go the other way too. I vaguely remember a command to forward the audio cassette (maybe in seconds). The host computer could listen for that forwarding command and respond with its translated wav. Forward 5 seconds could be for API call #5.

This would require no extra hardware on the TRS-80 side. You would just connect the audio jacks into a sound card headphone/mic port.

Edit: As another commenter posted, serial would probably be much easier. I didn’t even realize it had serial IO.
> EDIT: Apparently calling SWI &31 would give you the location, allowing direct access

What gives you that impression?

INT 31h is how you make a DPMI call in an x86 PC BIOS system, but that's entirely specific to those systems. There's no equivalent on ARM.
For most people, sufficient effort can guarantee a productive carrer programming computers. The absolute maximum capacity (number of people doing a thing / total number of people) of professional basketball players is much lower, and so given the amount of interest in doing said profession you end up with criteria that are very out of line with the median as far as human traits go. The height requirements for instance are not ordinary human height requirements, they put most basketball players firmly in the top decile as far as height goes. Believe it or not, programmers are not anywhere near being that out of line with human averages (and are not collectively in the top decile of anything), and largely resemble other white collar professions demographically.

Its fair to say there is no such thing as innate ability to do math (at least to the level of the average mathematically inclined undergraduate, but I even suspect this applies furthr than that). There are definitely hard cutoffs to whether or not you will ever be allowed to play basketball professionally, regardless of the amount of effort you put in. Its very important that young people interested in computers and coming from all sorts of different environments understand that the topic is not gated biologically, and that they understand that fact as intuitively as professionals in the field. Poor education (or lack of education) is far too often equated with a lack of some kind of innate ability.
On a side note, I noticed a rare tracking consent banner. You may want to update it to track users and respect GDPR correctly. It should be possible to refuse as easily as accepting to be tracked, with the same button size and colour, for example. The tracking should start after consent is given. Also, GDPR isn’t so much about accepting cookies but giving consent to be tracked. So many websites get it wrong, and the likelihood that you will have issues is very close to zero, but since it looks like you implemented your banner yourself, you may be interested.
They're probably hoping for a reaction like "Oh man, I gotta know the rest, let me pull out my credit card", but my reaction is just "Seriously? I wasn't giving you my money before, and I definitely won't now."

(On closer inspection, you're only "paying" by creating a "free" account with them -- but paywalls look like paywalls no matter what the price is...)
> You mean like AESENC which you should always be using if available?

Yes. And make it not unsafe

> Sometimes it's the only way to get some sort of constant time guarantees

I don't think you understood the article then. Brian wants the constant time guarantees as an intrinsic in the std library, guaranteed by the compiler, and exposed as safe rust.

> The rust fanclub obsession with calling things like that unsafe simply because it has the same keyword in front of it is fairly ridiculous.

If you have to use the unsafe keyword, you're creating the possibility of memory safety vulnerability. It would be amazing if you could immediately see that all code in a library does not use unsafe and know an entire class of vulnerabilities does not exist
I suspect it will be used in generality haha
The problem is you’re on HN, which probably means you’re quite intelligent.

A lot of parents that homeschool aren’t, and I sure as hell wouldn’t trust them to teach my kid anything past grade 4.
I used to commute 2-3hrs/day living in LA. It was just normal. Now that I can work from home, it irritates me even more that companies want to force that back on us.
https://twitter.com/jlengrand
https://mastodon.online/deck/@jlengrand
I will give you a concrete example if you want one. By focusing exclusively on the "great people" of the civil rights movement, the education most kids in the US are getting does not mention the roles in future movements which they are most likely to play. You get an "it's MLK and a handful of main characters, and thousands of extras in the crowd scenes" message from every textbook I've ever seen. No mention of the fact that there were, say, individual legal battles, much less what they were over or how they were won. Kids graduate high school thinking that their only two options are being an era-defining writer or passively reading tweets.
> I was kinda hoping to find a way to MITM devices that don't allow the installation of custom CA's

The point of TLS is to prevent that... You'd be relying on implementation flaws if it were ever achieved.

Frankly I expect the days of being able to install our own trusted certificates are numbered on the few devices that do currently allow it.
Yes, but historically, scientists ended up accepting the heliocentric model long before the first stellar parallax was measured.

The heliocentric model's parsimony (explaining many different phenomena, such as retrograde motion of the inner planets, with the fewest assumptions) and various supporting observations (such as Venus' phases, which rule out any strictly geocentric model), combined with a physical theory that grounded the model (Newton's laws) rendered any alternative implausible by the late 1600s at the latest. It would be nearly 200 years before parallax was first detected.
All ticketing system are wrong, some are useful.

I remember 12 years ago, when we were just starting out as a remote company in a world that looked like it had a single digit number of those. We heavily borrowed from Mozilla since most of their process was (maybe still is) out in the open, largely in Bugzilla. Quite impressed they resisted the pressure to move towards something more shiny now that other tools have mostly caught up.
Mandarin is a spoken form of Chinese. So Mandarin and Cantonese, for example, share the same character set (Chinese). There's also traditional vs simplified Chinese, technically; they're similar with some differences in how they're written. Japanese also has some differences which can be confusing because a lot of application developers just use the Chinese character sets for kanji: https://heistak.github.io/your-code-displays-japanese-wrong/

One other thing about Chinese is that TV shows and movies usually have hard-coded subtitles while airing because the spoken versions of the language can be very different from one another. Including the text makes it more accessible to a wider audience regardless of what "dialect" is spoken in the show.
Yes! I forgot about that one, one of the worst offenders.

"Here is my new idea. It's a diaper for parakeets."

"Why would anyone want that?"

(crying) "Because, because, sorry guys. My mom passed this year and I promised myself I wouldn't cry. She just loved parakeets"

"OK, here is a million dollars"

The whole schtick is so ridiculous I find it pretty offensive.
open sublime> start working

open vsc> 22 update popups and notifications + permission nags. > mojo gone
- Ask the user to select a location. I may want to know the nutritional facts about an item somewhere else. Say I'm traveling there.

- Have websites in different countries: like if I go to macdonalds.co.jp, I get the nutritional facts in Japanese about the Japanese Big Mac.

Geolocation is rude, lame and broken.
Because you can use Archive.is[0] to post a comment with the un-paywalled article, which is always done for stories that hit the front-page. There are many publishers now that paywall their content, and typically you want the original source as the main submission as opposed to someone's relay of it.

[0]: https://archive.is/
>I also dont really consider a response of "we promise to opensource the companion app, or unlock the device if we go out of business" viable (what if you die unexpectedly?, or simply, dont care to follow through?).

If the promise is real, they should make it legally binding. If you go bankrupt, you lose control over your IP and quite possibly can't choose to follow through.

Although, even then, open-sourcing the app can be expensive (you need lawyers to confirm you actually have the rights to open-source all parts of the relevant code, and if there's something you can't open-source then you need devs to write a shim, identify the relevant keys that need to be published, and hopefully write some documentation.
In Germany, Firefox was the most commonly used browser by a huge margin until 2016, when it was overtaken by Chrome[1] - it still has 11% market share (20% on the desktop) compared to the ~3% in the US or world-wide.

Those German ad campaigns were quite effective, apparently. :D

[1] https://gs.statcounter.com/browser-market-share/all/germany/...
Mass taxis would still be an improvement over individual cars, which are idle 90% of the day and require parking space in the most valuable parts of the city.
Docker is the ultimate application format for Linux. It IS Linux. If you read a Dockerfile, you can replicate it on a fresh install command by command, it serves as doc too. For example if it says "FROM debian:bookworm RUN apt install nginx blah blah" you can just repeat those steps on Bookworm. It's just the developer already that work for you so all you need to do is run "docker run -dt sometool:sometag" and presto it's all running on your PC.

Dockerized apps run with almost no overhead, it's not like using a VM.

Take 2 hours to learn it, trust me it's worth it. This isn't some "Cloud Scale!" hype. It's useful even for someone with just a Pi at home. Just stick to the basic Docker commands (exec, run, compose if you want to be fancy). Don't bother with that Google-scale stuff like Kubernetes unless this becomes your career.