skysight-inc/HackerNews huggingface dataset:
Unfortunately, creating a constrained type like this isn't easy (or even doable) in all programming languages.

Fortunately, my preferred programming language, Raku, makes creating this sort of subset trivially easy[0]:

subset UnitInterval of Real where 0 ≤ * ≤ 1

[0]: https://docs.raku.org/language/typesystem#index-entry-subset...
I am the photographer who shot his portrait. Sorry to hear he has passed. He was a lovely and friendly man as far as I recall from the few mins I had with him many years ago. He was very keen to pull some “quirky” expressions, his own choice. Other more “flattering” ones were also taken and provided to The Guardian. There’s no stitch-up intended here and it’s a shame that’s what’s being interpreted from his expression.
Okay. I just downloaded it to check.

I meant 'best'. Not 'hot'.

Sorting by 'best' gives you content from smaller subs.

I have asked the dev to implement it. I have not gotten any reply.
>We should realize its inherent value as the location to send messages to a user at a domain, and work tools to fix people's UX problems. All these other messaging services are just skirting the problem, and generally reducing my ownership of the system.

try matrix.org
El Nasdaq se desploma: lea esto antes de entrar en pánico
As someone with experience of Altria's previous foray into e-cigarettes, this is not as farfetched as it sounds. However, also from experience, they are just as capable of killing it through stupidity.
When they shut down said previous attempt and took the stake in Juul, we speculated that the reason they only took a minority stake was to save it from themselves.
It's like how Twitter switches you back to the algorithmic timeline every so often, "You're back home" is the extremely sneaky wording they use in the banner when they do it.

They hope that eventually you wont care or wont notice.
Voat is where people who were banned from reddit for being too racist, believing in and promoting insane conspiracies like pizzagate and QAnon, members of the incel commnunity and other such fun stuff went. Not sure its a place you want to promote.
I just use old.reddit.com. Yes my eyes hate me.
And governments are known for not over reacting to anything related to nuclear power /s
great on my phone
Do you have any more info about this?

I am curious about the history of residential HVAC in the US.
What is ultra-processed food?
Closed, of course

Modoverflow strikes again
clickable: https://old.reddit.com/
Someone implemented this in JavaScript to work with your webcam

https://github.com/antimatter15/evm

Demo: https://raw.githack.com/antimatter15/evm/master/color2.html
No advice I'm afraid - when someone finds the answer to that question they'll change the world.
I hate YAML. XML and JSON have syntaxes that are very easy to learn. You basically see one example and know 99% of what you need. YAML has multiple ways of doing the same thing (eg. two array syntaxes) and is generally too "clean" looking to the point of being unreadable.
I just tried 'help' on a linux system.

It is absolute garbage.
Oh wow, "much less hostile than reddit"? I already regret visiting that site after a minute.
Almost all of the current front page posts are either covid denial or bashing black people.
Ah, the wonderful logic of 'Spotify screws artists anyway, so lets just take the last few pennies going into their pocket and light them on fire.'
I usually like to keep copies of the C standards drafts with me. In case anyone is interested, here are the links:

In case, someone is interested here are the various C standards drafts:

* C89/C90: http://port70.net/~nsz/c/c89/c89-draft.html

* C99 (N1256): http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf

* C11 (N1570): http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf

* C17/C18 (N2176): https://web.archive.org/web/20181230041359if_/http://www.ope...

Also, here is a nice Stack Overflow answer with links to C and C++ standards documents:

* https://stackoverflow.com/a/83763/303363

This answer usually gets updated as new revisions of the standards appear.
Introduction to Artificial Neural Networks (ANN) – Asquero
It's optimized for reading forums, i.e. walls of text, it's great for that. Maybe reddit should start monetizing that (with text ads or sth) instead of trying to become an instagram wannabe
Keep in mind that tests & test tooling serves developer ergonomics purposes beyond ensuring that the software works:

1. Reproducibly setting up the conditions to trigger a bug.

2. Explaining how a module expects to be used.

3. Sketching the design of a module's interface & affordances.

4. Nudging away from designs with poor encapsulation.

5. Soothing the anxiety of a developer who is worried they are not making hour-by-hour progress.

6. Reminding a developer what task they were in the middle of when their brain dumps Working Memory due to an interrupt ...or just randomly OOMKills mid-day because a baby woke them up at 3am.
Expressive Pixels
PowerShell takes the UNIX philosophy, cranks it up to 11, and makes commands trivially discoverable.
I don't notice... for a few minutes, then i go WTF why do i see those random things that other people liked in my timeline. Twitter devs ... you can't fool us, stop it
Ultra-processed food consumption and the risk of short telomeres
> Could you provide an example of a language feature which requires you to "hold context in your head"?

Extensions. Basically every project has its own dialect of Kotlin that you have to know everything about if you're to understand anything. And good luck doing that without an IDE.

> It's possible that you have just worked in bad codebases abusing Kotlin sugar.

I've never actually worked with Kotlin, I've just seen many examples of it. The problem is, the language itself pushes the developer to use all the sugar, and they have to control that themselves. As opposed to Java, where writing unreadable code would take extra effort because of how dumb and simple the language itself is.

Also, to me it feels like an abstraction on top of Java that gets in my way as opposed to being helpful.

I love dumb programming languages.
Well, full support for add-ons is coming to Firefox Nightly for Android soon(ish), at least.
Yes, really.

It was developed by the same core team that created Plan 9, and Limbo is the evolution of Alef, that Rob Pike wasn't happy to have to drop for Plan 9 3rd edition.

https://en.wikipedia.org/wiki/Alef_(programming_language)

> Alef appeared in the first and second editions of Plan 9, but was abandoned during development of the third edition.[1][2] Rob Pike later explained Alef's demise by pointing to its lack of automatic memory management, despite Pike's and other people's urging Winterbottom to add garbage collection to the language;[3]...

> The Limbo programming language can be considered a direct successor of Alef and is the most commonly used language in the Inferno operating system.

https://en.wikipedia.org/wiki/Inferno_(operating_system)

> Inferno was based on the experience gained with Plan 9 from Bell Labs, and the further research of Bell Labs into operating systems, languages, on-the-fly compilers, graphics, security, networking and portability.

For some strange reason many stop at the middle station, instead of going all the way to the end.
Yeah I meant MB, that was a typo. My bad. Point still stands. The Reddit app on Android is 36 MB. Why does a simple message board app need to be so big?
It should just show the value and have the definition of them written on the box, UI should not be a concern at all if you have to have electronics in this case.
Stalk: Security Analysis of Smartwatches for Kids [pdf]
Stan, a probabilistic programming language where this thing comes up a lot, makes it easy to declare such constrained parameters:

real<lower = 0, upper = 1> accuracy;
I think the "lone inventor" myth died out in the last century.

The LPF (League for Programming Freedom) saw all of this corporate nonsense coming in 1990: portfolio warfare among giants; trolling and extorting; patenting trivial things and then trolling; and to your point, the death of the heroic lone inventor without a large team of patent lawyers to earn the money.

The LPF is gone now, software patents are the domain of large corporations, and garage guy is (largely?) no more.
FWIW, that's not dependent typing, because the type doesn't depend on run-time values. A bool is either true or false, a [0...1] is either 0 or, ..., or 1.

As for which languages allow it. I'm not sure for floats, but Pascal let you do it for ints for sure. https://wiki.freepascal.org/subrange_types
The Birth of the IBM PC (2019)
Then https://www.theguardian.com/world/surveillance is a better 'topic search' for The Guardian.

This year seems to have had less focus on Britain, and more on problems abroad.
If Digital Ocean is giving you an hour of downtime every two weeks (two 9s and a 7) then they're breaking their SLA (four 9s).
As I understand it, dm-integrity is supposed to graft zfs-like checksumming onto any filesystem. How good is its ability to detect corruption and fix them in a RAID setup?
Similar story here - as a physics student, I used VMS in the first year of uni, mainly for its Fortran compiler (WATFOR) and the NAG libraries, and Unix thereafter. Both had advantages and disadvantages, VMS was touted as more secure (as in, security was a fundamental consideration in its design, whereas it wasn't the case for Unix). I particularly liked the automatic versioning of files, making reversion to earlier known-good files simple.

VMS knowledge came in handy years later when I had to work in VMS Fortran on the company VAX - I even coded the VMS Fortran random number generator in g77 (thanks to the excellent documentation) for consistency when we ported our code to DOS after the VAX was shut down.
Just as broadly as FP can be defined.
And who do you think the organic major players are?
The problem is with the instructions then. So it's an issue in practice only because novices are given bad instructions, without the proper context, that tell them to do things that are known to be a very bad idea.

Similarly, most software used to tell you in the README file to do a "make && make install", sometimes installing into /usr/local but not always. If a user followed these instructions and overwrote half of their distro-provided /usr/lib, things would break in the same way for the same reasons.

The solution is to not do that. Don't mix distro-provided files with things installed from other sources. (As for the problem of people providing bad instructions, I don't know the solution. Perhaps remind novices that all instructions come with an implicit context and may not apply fully to their specific case?)
Ah, I see. I last looked into using Qt Creator around 2015 and it seems this license change is from 2016. The company I worked for at that time said from their reading of the license we need a commercial license and asked if I could please pick something else. If I had just checked it out a year later, hah.
The fact that you used the word globohomo is already telling enough: https://www.urbandictionary.com/define.php?term=Globohomo
> [the name] Grep suggests to me that the author of this one had been reading too much Robert Heinlein (you grok?), or possibly --- and this is in fact quite likely --- was under the influence of psychotropic substances at the time.

As funny as this is, the actual origin for "grep" is even more interesting – and, at least to me, quite mnemonic. "grep" comes from ed, and stands for the command "g/re/p", that is

global/regular expression/print

https://en.wikipedia.org/wiki/Grep
Dead user maybevain recommends bellow to:

open dev tools –> network –> disable cache

Without caching it is indeed interactive.
There's a big difference between a dam and a pool; the pool is supported by the ground, and even if you bash holes in it, the water still has to find somewhere to go. Also, pools are not typically built from concrete and stainless steel.

The safety requirement here is not "doesn't leak", it's "holds most of the water for 30 days (after which water is not required)". You would have to get an implausibly-large leak, during a situation where nobody can add more water for a month.
I expected to go there just to see that the video is blocked
Or QEMU, which libvirt uses. They're using KVM directly, possibly with Firecracker.
We've build our own automated hosting infrastructure* a few years ago on top of libvirt. Using the libvirt API was a breeze and libvirt is rock solid since day one for us, I can only recommend this project.

* Shameless plug: https://github.com/OnitiFR/mulch

We're using libvirt-go binding (Daniel Berrangé and his team is doing a excellent job maintaining it!), and KVM/QEMU hypervisior. For a small team like us, it's incredibly valuable to have access to such powerful tools in a such easy way.
I presume the change in tone and content on reddit is due to mobile users moving to the site. It is probably good for their click rates actually, but discussions were a lot more relaxed 5 years ago. I still use it, but only for niche subs.

I always rolled my eyes at people denouncing the quality of default subs. They weren't good but also not that terrible. Now it isn't necessarily terrible, but just extremely stupid. Nearly every comment.
Maybe there should be an IRC group #namingthings on Freenode?
How to find a business partner for a new IT startup?
P.S. The majority of my portraits were shot for The Guardian and The Independent. The fact that I‘ve also shot a few assignments for The Telegraph and Wall Street Journal doesn’t indicate or imply a particular political affiliation. It’s probably best to not make assumptions that a photographer or even a writer holds the same views or political stance as the publication that commissioned them.
Wow! I had no idea.

This is what I see!

https://i.postimg.cc/8Cw9Q1ZB/Image-from-i-OS.png

https://i.postimg.cc/Y9sP0dKv/Image-from-i-OS-1.png
Digital pregnancy tests are almost as powerful as the original IBM PC
Los Angeles unveils modular streetlights for 2028 Olympics
> C Compiler has to resort to UB to optimize many kinds "for" loops

The compiler is always permitted to assume the absence of UB. This is the case no matter what your C code is doing, and you're never further than one expression away from UB.

> It is so hard for programmer to unequivocally signal the intent like "we're working with this here chunk of memory malloc'd with this size and nothing ever beyond it and let me know if this is violated".

Indeed, and C pretty much stands alone here. In just about every other language, there's some automated means of keeping track of the size of an allocated block. Even C++ has this in std::array. The only exceptions I can think of are assembly, if that counts, and Forth.

> I don't understand why this state of affairs is not universally considered sordid but it's handwaved "just be aware of UB and pass the size along and it will be well"...

You're not alone in thinking this is a particularly reckless design decision in C. The great Walter Bright, designer of the D language and also a HackerNews regular, wrote a short article on this in 2009, called C's Biggest Mistake. [0] He even suggested a fix, of adding the option of fat pointers into C. I don't think the committee is going to adopt it though.

I recall reading somewhere a snarky take on this: A foundational principle of the C programming language is that the programmer is always right, even when they are wrong.

[0] https://www.drdobbs.com/architecture-and-design/cs-biggest-m... , see also discussion at https://news.ycombinator.com/item?id=1014533 , https://old.reddit.com/r/C_Programming/90uq7c/
Based on that logic we should ban all forms of crypto and just live in clear text. It won’t stop the boogeymen, but it’ll make us feel safer.
By the way, mods, why is that user dead? Registered 1 hour ago, posted just two helpful comments.

https://news.ycombinator.com/user?id=maybevain
Came for a discussion of OS/2, stayed for the comparison of Ken Thompson to E. E. Cummings.
I understand Apples logic for trying to build their own AdBlocker ecosystem but honestly browsing with Safari feels so unsafe now without uBlock Origin. Keep seeing ads slip through and it's not just standard banners it's the sort of ads that look like they'll give you malware if you mis-clicked them.
Usually that would go to the documentation of the parameter, plus a run-time assertion to check that received values are valid.
New math method shows how climate change led to fall of ancient civilization
Show HN: Am I the worst fucking parent?
I feel like once you are on mobile you only have access to this aberration of the internet called "The consumer web" where you're treated like a dawdling toddler who taps on shiny colorful things and the service is trying to put on a circus for you in order to get ad revenue.

This is essentially the experience across the board on all major web properties. I have no idea why I use my cell phone to access websites so frequently. It's a really terrible experience.

In fact, most of these sites are the candy and chips aisle for the mind - an unhealthy diet of emptiness. It's such a waste of time.
> > condo in Minneapolis

> This needs some real data.

Minnesota Heating Degree Days[1]: ~ 500

Minnesota Cooling Degree Days[2]: ~ 8,000-10,000

I suspect heat pumps might reach practical limits with cold temperatures.

[1] https://upload.wikimedia.org/wikipedia/commons/d/da/United_S...

[2] https://upload.wikimedia.org/wikipedia/commons/6/6c/United_S...
Here's the non-logged in images:

https://i.postimg.cc/15HjNRQx/Image-from-i-OS-2.png

https://i.postimg.cc/6pp1VsW8/Image-from-i-OS-3.png

https://i.postimg.cc/x1ppts8t/Image-from-i-OS-4.png
Yes, without clear leadership, it is easy for a dev team to flounder around in a cloud provider’s offerings.
Maybe it should be honestly if the new reddit and mobile app are what the company thinks is worth spending time on.

Once old.reddit dies there is a chance for a transition to a new site like Digg 2.0 -> Reddit
No, This Isn't a Repeat of the Dotcom Crash. Yet
That looks similar to the first OS I used, RISC OS, which had paths like

ADFS::Symbiote.$.SchoolWork.English.Essay

That's Filesystem::DiskLabel.$.Directory.Another.Filename. There were no file extensions, but there was a file type stored as metadata (I think on the directory node?).

Given a current filesystem and a current disk, just the path from the root ($) directory was needed.
Maybe I missed the forest for the trees, but it sounds like OP is almost discouraging people from contributing to their GitHub profiles?

If you are a well know or experienced dev with a long resume of working for closed-source companies, then, yes, you don't need a GitHub profile.
For younger people or developers switching domains, GitHub contributions and personal projects might be the only way of showing their worth to future employers.
I understand the licensing issues, but having a system with 4 components (ext4, dm-crypt, mdraid, dm-integrity) instead of a single integrated one (ZFS) can hardly be said to be simpler. On a distribution like Ubuntu, adding and maintaining ZFS is completely painless.
Open Source Software as a Service List
Here at Awesome Open SaaS, we have created a list of Open Source SaaS products. Built with a vision to bring awareness of these products and as a list for beginners to contribute and learn from Open Source SaaS products.

Since the list is new and doesn't cover most of the Open SaaS products, I am looking for contributions from the community.
You can do that too with react. Most of my stuff is asp.net mvc core with normal postbacks and on a couple pages where I „need“ that interactivity I add react
Yeah same reaction here, I scroll for a bit and the content is awful then I realise. It's crazy how clear the distinction is just from looking at the tweet content alone.
On mobile and non-mobile, I use Firefox' Redirector addon to redirect all reddit links to https://ns.reddit.com/* which might be the same as old.reddit.com
But the best documentation is the code itself that is documentation. I mean, well that’s kind of a cliché, but names can carry a lot of meaning.
You are right. Some other complaints have have no aged well either (especially things like case insignificance, which we all know is extremely difficult to get right once you leave the confines of English).

Unix has a lot of issues on a lower level, but very few people discuss that, since it's a complicated topic.
I occasionally checked https://tildes.net/
This function may do mostly the right thing in a process dedicated to it, but it is not safe to call as part of a more complex process - especially a multi-threaded one.

For example, malloc() may be holding on to a mutex in the parent process (on another thread), so subsequent malloc() calls in the child process will block waiting for the mutex to be released. Closing the file handles may help if this was a kernel mutex, but it may not help if this was a user-space mutex.

In general, fork() without exec() is only safe as the first thing done in a process.

Also, it looks like there is a minor race condition in the implementation: since the original process exit()s immediately after the fork(), control will return to its parent, which may close the session - this could happen before the child had a chance to call setsid() and detach from the parent session.
Dictionary.com's Largest Update (Re)Defines Thousands of Words
Wow, really? That would be depressing for me.

You have 500k followers and only 10 of them comment on your posts. That's terrible engagement.
I'm pleased to see that "verification" isn't just relying on random value generators for property testing in this case. While I agree with the author that actually running code is still useful, simple specifications have the power to be much more than glorified fuzzing - and Rust is the perfect language to start pushing that in. The use of native syntax for int value ranges is especially nice.

The main question is: how does this compare to other Rust verification efforts[0]? Having to write specifications in test crates rather than next to the function definitions is probably going to be a big obstacle to multi-crate verification.

[0]: https://github.com/viperproject/prusti-dev/
I mean I have a 3rd party reddit app so it should bounce me to that app, but the UI pops up still it wants me to use their app only. So that’s a move that made me use it less.
> Experience is only loosely correlated with age

It’s very important to remember that just as youth is not necessarily a disadvantage, so too is being older than the average anything to worry about.
Feds Seize 19,888 Fake Driver Licenses – All Registered to Vote – All Democrat
Why exactly do they care whether you use the web or app?
I wonder if it would be possible to also use it as the electrolyte in a cell, and generate enough current to run the test
> Unfortunately there is no curriculum for what a parent must teach their children.

I do not believe that having a specific curriculum is necessary to have a good foundation of life skills. In addition I would argue that the curriculum in schools is absolutely disappointing if this is the target.

> Instead of assuming all children get good parents (which is obviously a harmful assumption), let’s just take advantage of the fact that we can pretty much guarantee all students will learn the school curriculum and use it to teach important life skills to children who otherwise wouldn’t learn.

The issue here is that you are basically torturing these students that would end up learning (either due to their parents or to some other resource) regardless in order to improve the life of these that would not. I would understand your point however if school was not mandatory.
SEO Dominator Review and Bonuses
Have you tried combining the tiles on-the-fly as image sprites?

https://developer.mozilla.org/en-US/docs/Web/CSS/CSS_Images/...
Then sometimes you click a link and it takes you out of old and into the hellscape that is modern reddit.

Can't wait until some manager decides old needs to go. They'll end up losing a bunch of long time users and some other site will finally gain traction.