skysight-inc/HackerNews huggingface dataset:
> Usenet.

But that's like saying "email". USENET isn't a forum, it is a standard decentralized distribution mechanism owned by nobody (like email).

Some newsgroups were a disaster even back in '90 and many were awesome back then. Most decayed but even today there are a few corners of USENET which thrive (I still read a few newsgroups every week with trn).
No one mention those goats herd? Just watching them grazing made me already relax. :)
Thank you for your great work dang
Would that mean that if the buzzing stops for an extended period, Dead Hand assumes World War 3 is underway and launches the missiles?
Abito Da Ballo in Chiffon Con Piega Schiena Nuda A-Line
There are probably good societal reasons to discourage the use of mind-altering substances. It’s a bit of a tragedy of the commons in the worst case, you don’t want half the people you interact with to be on a mushroom trip throughout the day; that would be incredibly unproductive.

Not saying anything against its medical applications, only justifying the general antithesis against mind-altering substances in everyday life.
I wouldn't expect someone who can't grasp why we should have free speech online to understand _anything_
HN discourages the sort of clever-yet-unsubstantial one-liner jokes that earn a lot of karma on Reddit. It reserves the space for thoughtful discussions. Getting rid of the memes simply doesn't fly in other online communities.

I'd also put money on the average age of HN commenter being higher than that of other internet communities.

I know of other rich and healthy online communities, but they are fairly niche.
From point of view of enterprise consultancy they are definitely cool, you should a look at the alternatives.
That's a fair point, but really what you're saying to me is "the ideal microtransaction monetization system hasn't been invented or popularized yet", which should be heard as an opportunity, not as a deficiency.
WebAssembly Integration with JavaScript BigInt
Thank you, Dang for helping keep one of the few non-secret communities on the web keep feeling like a community.
Well, the legal system in Dusseldorf may be different....
LaTeX Note Taking in VSCode
Thank you dang <3
If "discovering" your idea is a significant motivator for realizing it, I guess thoroughly scratching the creative itch first might be risky.

This is probably it's own Goldilocks or yin/yang sort of thing? Sometimes I quixotically wander into implementing a project, hook myself with sunk-cost fallacy a fraction of the way to the finish line, and would have ultimately considered it a blessing to scratch the itch without touching implementation.
As others have said, hacking it, certainly. But if you're not up for that and would like something more passive, read LWN.net (and possibly subscribe!)
Thanks for all that you do Dang! I really appreciate you!
William Faulkner’s Demons
What on earth is Gemini?
Last I checked, a well configured NUC was nearly as expensive as a Mac mini and almost certainly slower than this. Depends largely on what you are looking for though. From the sounds of it the NUC also has a loud fan? (For some reason I thought they were fanless).
Amen. Even though you could build a smart home with stuff like home assistant that would solve these issues altogether
How come? In many countries it is enforced by law, and in some of them, everyone on the building gets it, regardless if they are cleaning bathrooms, or doing CI/CD pipelines on a random cloud deployment.
I could subscribe to read this or just watch the prisoner on pluto with my boys in san quentin on our good boy tablets.
Thank you, Dang! It's hard to believe that the quality of HN rests on the shoulders of just one man – a Herculean feat!
That's a bit like saying running Photoshop on a Mac does nothing for Apple. Why would they care?

They care because if Photoshop isn't available then people who use Photoshop won't buy Macs. If Linux doesn't run in a VM then developers won't buy Macs.
That's the nefarious solution.

The brute force solution seems to be use published redeemed winning ticket numbers to estimate sold ticket numbers? And then run expected value calculations of the unclaimed prizes vs the unsold tickets; if positive enough, go out and buy as many tickets as you can, process them and claim the winners (and enter any second chance drawings).

Of course, if people delay claimimg prizes, it makes the estimates inaccurate.
Thank you dang.

I really appreciate the moderation of HN, and looking back at everything, makes me appreciate it even more.
HP CEO talks up HP-ink-only print hardware
My point is that once RAM is initialized in ECC mode, then the OS will see it. The motherboard can't support ECC mode but then screw up EDAC. That's why I said "as long as the memory is correctly initialized in ECC mode".

It's a binary thing. Either the motherboard supports ECC, or it doesn't. If it supports ECC then you can always tweak the scrubbing from the OS.
I've received a warning from dang a few times on here. Thanks dang for the work you put in to keep this place great.
Stuffing more chips onto game cartridges was a thing that happened with the SNES quite a bit, but really only happened with Virtua Racing on the Genesis/Mega Drive. If you look at early titles for a particular platform vs the later ones, the later ones almost always look/perform better because the developers learned how to milk more resources out of the platform. An example from the Playstation 1 era is Naughty Dog Studios, as seen here in this old HN thread: https://news.ycombinator.com/item?id=9737156
The reactionary alternative to the web: https://gemini.circumlunar.space/
This is very old information, as are most of Raymond Chen's posts.

Generally speaking, Microsoft hasn't cared about backwards compatibility for over a decade.
I mostly agree. After complaining a lot about why manufacturers never do the right things, a few guys in the industry came in to say "we did.. we sold nothing, now we're making iphone clones".

Consumerism is consumerism. In a different context surely people would buy sturdy, open, simpler, modular stuff.
Dang has always been a moderating voice. He/she doesn't just take action, but gives irrefutable reason.

On the subject of being a better human, dang has been an influential teacher.
Negative feedback is often narrow-minded, one-sided and even plain wrong. I find it better to ask as question about future action and start a dialogue. I find leadership monologue to be Waste.
The continued legacy of corruption and running the place like your own little kingdom by pretty much every single leader since forever. Clearly jailing (and subsequent pardons) dont work if nothing changed in last 60 years).
hyyype
Not very much. The SNES was the king of stuffing coprocessor chips onto cartridges; the hardware was a minor 6502 upgrade paired with amazing sound from Sony, and some pretty good video hardware. Sega did almost the opposite: they took the 68000, a pretty good CPU for the time, and paired it with OK sound and a tweak to the TI VDP they were using in the Master System. The average SNES game just needed the extra oomph that a coprocessor could give, while the average Genesis game probably was fine with the 68K.

That's not to say coprocessors didn't exist. Sega loved expanding the Genesis - but with hardware-addons that didn't sell very well. The Sega CD is effectively a second console's worth of coprocessors. It included much-improved audio hardware (which barely got used because you had CDDA), another 68000 CPU, and some fancy rotozoom ASIC stuff. There is a SNES style "just sneak a chip onto the cartridge" thing, though, but there's only one game that does that: Virtua Racing. It has a very primitive hardware rasterizer on board, which actually causes problems with some later-model Genesis consoles. It also won't work at all if you have a 32X plugged in.
Honest question. How do you intercept and retrieve an API that communicates within an app?
Thanks Dang! HN is one of my favorite online communities, in large part thanks to your hard work.
No, you have misread your sources. Capital losses offset capital gains, and if any losses remain, up to 3000 can offset any other type of income, which does not require conversion to an NOL.

Corporations can only use capital losses to offset capital gains.

In all cases unused capital losses carry over to future years.

Source for in depth discussion. https://www.journalofaccountancy.com/issues/2001/nov/getmaxi...
what are your other favorite places?
Internet-connected speakers are a no-go, will send home what you're listening.
According to available information (and speculation), perimeter listens to various inputs (which is a good thing).

It's said that it has connections to seismic and pressure sensors and can check whether communication to critical infrastructure is intact. So it keeps tabs on many heart-beat signals it seems. UVB-76 might be one of them.

Moving a low traffic radio station with an interesting sound just because a bunch of HAM radio guys doesn't make sense. It has to have some higher function to warrant the move.

With the new over the horizon radar systems Russia is deploying, I guess that signals from these would be evaluated too.

Going in to wild speculation territory, Russia's in-house CPUs would fit the bill for these kind of systems nicely.
Dang has taught us that ONE person can make a difference. Be like Dang!
Every iOS device connects to Apple's push service and stays connected. The client certificate it uses is tied to the serial number of the device itself, when it registers for the push service.

Apple sees the client IP of the push connection, naturally.

Therefore, based on IP geolocation, Apple really does have coarse location history for every single iOS device by serial number.

Apple is indeed storing your (coarse) location history.
Reproduce Gonthier Four Colour Theorem proof challenge (make no proof patches)
1. Source code is packaged and distributed as a MSI executable (sic!). Luckily, it can be unarchived using Wine:

# theoremDistrib url = https://download.microsoft.com/download/D/1/D/D1D6FCF9-4D04-49FE-9952-0D295B180CF4/4ct.msi

HOME=$TMPDIR wine msiexec /qn /i ${theoremDistrib} TARGETDIR=$out

2. 4CT is proved originally in Coq v7.3.1, however the distributed source code is adapted for Coq v8 (exact version not specified).

All Coq version are available at https://coq.inria.fr/distrib/

3. Building Coq v8.1 is easy, according to documentation. The only thing is, it requires Ocaml v.3.07 or later

- Objective Caml version 3.07 or later
(available at http://caml.inria.fr/)

And we know what does it mean "... or later". Go grab 3.07 otherwise it won't compile.

4. Another problem is ssreflect library. Quoting proof's README:

"The required extension package, named "ssreflect" (for "small-scale
reflection") is distributed separately. It consists of a single extended ML
(.ml4) file, which compiles to a library that must be linked with the Coq
system, using either the -load-ml-object command line switch (for bytecode
systems, not recommended) or, preferably, the coqmktop utility to produce
a new Coq system binary. The definition of the COQC variable in the Makefile
should be adjusted to refer to this new system (it defaults to ./ssrcoq.exe).

Note that this directory contains a copy of the vernacular files needed to

support the ssreflect extensions (ssreflect.v and ssrbool.v)."

So 0) get Ocaml 1) build Coq, 2) build another Coq using coqmktop and those two files 3) compile proof

---

Overall this results in a pretty long reproducibility chain. Can you capture this chain, without making patches to original proof?
>The procedures used in NYC aren't drastically different from Singapores'

https://www.nytimes.com/2020/07/08/nyregion/nursing-homes-de...

'A state directive sent thousands of Covid-19 patients into nursing homes'

yep, no difference at all
I would add that cmake is a makefile generator.

cmake's value is in the way it provides a high-level abstraction over all supported platflom's capabilities, and that it works by generating and running build scripts from lower level systems such as standard make.

For example, Cmake allows us to set the version of c++ a project uses with a single build target property, which is then used to pick which compiler's flags it uses with a given compiler. It then generates the makefile with all the relevant flags set, and runs that with ease.

This works regardless of platform or compiler.
Thanks a lot Dang and Thanks to the entire HN community! This community is really my goto place in the morning when I wake up, in my lunch time and once before I doze off.

What I most like about this group is that I can relate to a lot of the members who have similar experiences, stories and interests. This is the first online community that I feel I really belong.

Thanks HN for "making everyday a little bit better!" :-)
Why are there sometimes strange artifacts heard on the channel?

Is that a hoax, interference or something else?
There's not much in the email clients landscape; almost nothing in Linux, actually. I suppose that this is because nowadays almost all the users read email from web clients.

For me TB just works (especially because I'm locked at the ESR version, 68), however, I've never been extremly happy of it.
Second Swiss firm allegedly sold encrypted spying devices
>The manager said they paid with cash or cashier's checks, and they weren't just buying at Break Time.

Couldn't they pay with credit cards and get credit card rewards to help their margin?
Most cars seem to have a subtle trick to open doors when the battery is dead. Mine (an E90 3-series) has a physical key, but you have to know to pull the lock on the driver's door then turn the key to open it. Turning the key does nothing. Turning the key then pulling the lock does nothing. I found this information buried in the comments of a YouTube video that had elaborate instructions to get underneath the car, and look for some wires in the engine bay to pull so as to pop the bonnet.
The Wikipedia article makes the operation of that station appear to be at a level that is far more relaxed than what I would expect from a really important continuous liveness signal. So I consider the use for something as lethal as the Dead Hand system unlikely, if it even still exists.
>>In addition, I don't like cmake's DSL syntax, which is very tedious and difficult to maintain.

I don't agree that Cmake is difficult and hard to maintain.

I do believe that most people write complete messes in their makefile so that they become brittle and hard to maintain.

The so called "modern Cmake" approach, with its declarative approach to project files, is delightful to work with, unlike the old and beaten imperative based path of forcing Cmake to be a glorified scripting language when it never was.
Boycotts Unsettle Boards
Thunderbird has simplified html viewer, no css etc, works pretty well.
Private group chats, unfortunately. It’s hard to have a public one stay high quality.
I need like, a hardware version of auto-hotkey
As for using a fallback font that closely matches to minimize the impact of the switch over, how realistic is that?

It would a lot more realistic if browsers other than Firefox supported font-size-adjust, which allows the fallback font to mimic the metrics of your primary font.

Here's an article from 2010 that describes how it works: https://webdesignernotebook.com/css/the-little-known-font-si...
In the early aughts I had a media player that you could plug into your TV, you would control it with a remote and play whatever movies you had on disk.

Nowadays (Apple TV, Chromecast, Fire TV etc), you have to create an account with Apple or Google or Amazon just in order to use the device at all, then another account with Netflix, Disney Plus and every other streaming service you are going to use. Did the OS receive an OTA update that you don't like? Tough luck, there's no easy way to avoid those. And don't even think about playing back files that reside on disk, even if you legally own a copy of the movie.

Sometimes "progress" is not the most desirable outcome, at least from the point of view of consumers.

That Twitter account, the way I see it, is anti-dark-patterns, not anti-progress.
yes... a friend made a wizard fireball throwing VR game with the leap. It was surprisingly fun.

Latency is super important (also for the metaarms, as soon as you get to 200 -300 ms for the feedback, it should enable some kind of body schema extension).

The trouble for using the leap was the tracking angle (effective area is just in front of the headset).
If you rely on type labels on your functions and variables, you should rarely require a try/catch to handle type errors for internal functions.
Thank you, dang :)
The Center of the Universe or It's Dead
Where? 6 nanoseconds is pretty long, that’s about how long it’d take to do an entire retain/release pair, which is a couple dozen instructions I believe.
I didn't expect to see Artemiev mentioned here.
Great soviet composer and his "Meditation" is a very fitting
track for the movie. Amazing blend of electronic and eastern traditional music. I didn't watch the whole video, but I
don't think he mentioned Jugalbandi.
The musician he asked to play for this track used to play mugams according to Eduard's words, perhaps that's why they say it resembles a certain mugam: Bayat Shiraz
https://www.youtube.com/watch?v=wrfGR70Y_YY

Edit:
The use of this mugam by Artemiev is mentioned in the
wikipedia page
https://ru.wikipedia.org/wiki/%D0%91%D0%B0%D1%8F%D1%82%D1%8B...
Here's the best Gemini browser with a GUI (that works on macOS) I've found: https://git.skyjake.fi/skyjake/lagrange/releases
Wasn't he the leading advocate of stack ranking at Microsoft, though? That's not particularly insightful or philosophical, it's just lazy management.
I would be interested to know how many active users HN has, maybe it's because I'm in the bubble but I certainly feel like most people I meet who are "online" already know about it.

I have certainly noticed "ebbs" of an Eternal September vibe here too, but they quickly dispel and the types of comments that come from it get downvoted anyway, so it's not as noticeable.

Regardless, I am so grateful to have a place of meaningful discussion, and of so many different topics.
Television and the Telephot (1918)
The site did a weird thing for me. Is this because of the forced ad on the website. I recorded a video of the experience - https://www.dropbox.com/s/849ehk33unzrzfh/spectrum.ieee.org-...
Personal Finance platform for everyday use
SPARQ is a personal finance platform for Millennials that understands the problem of not being fully clear on where you stand with your finances. We provide the tools, knowledge and experience to help you face and overcome this common modern problem.
Here are some demos from the website. I especially like number 13 and 14, markdown to PDF examples.

https://pandoc.org/demos.html
Mastering Unix Pipes, Part 1 – Moritz Systems
Here's how Microsoft describes it:

> Productivity Score identifies areas where you can offer people training to learn how to use the tools to their fullest capacity

In other words, it's a score that tells the Microsoft sales rep where to target their sales. If you score highly on everything, they'll give you a pat on the back to tell you that you're amongst their most "sophisticated" users.

This seems common in the enterprise sales world. Another example I've seen is Adobe, which holds an annual Symposium every year where they hand out awards to the most advanced users of their products. The "winners" get to feel like they've been recognized for their incredible digital marketing skills and the rest of their clients are shown how to increase the amount of vendor lock-in and dependence on Adobe. Everyone wins!
The PC was an open free specification, so the hardware was cheaper. I think that was the main driver behind the PC winning, not Microsoft..
The techniques all exist or have existed. It's gaining traction that is the problem. In the meantime, Firefox reader view (don't know how it's called) helps me sometimes.
> Or all the projects must be ported to use a particular build system (like CMake exported config packages).

They really don't. I mean, it's a nice to have but not a must have.

If you want to use a project that doesn't offer Cmake support then all you need to do is, say, add a find-<projectname>.Cmake file which pretty much just calls find_library and sets a couple of variables, stash it in your project tree under ~/Cmake, add that path to your Cmake modules path and you're all set.

I mean, in all this can be done for each package with less than a dozen lines of code, total.

I'd say not bad.
This is for everyone else.
HN has been my “home ground” when launching new projects/products. It has helped me and my company tremendously.

Dang’s mod work has been amazing. I have always gotten reasonable and complete response from them here and on email. I have high respect for them.

I would love to know more about their moderation workflow.
Liberty caps, in Europe?
> what are your other favorite places?

Various newspaper and magazine sites, and the Internet Archive. No other discussion or conversation sites.
Many cats kill by crushing the throat, choking the prey. I doubt mail would stop that.
> and serve it to those with the skill

I often joke that making computers easy to use was, in retrospect, a huge mistake.
No one has ever really used the debugger at any of the c++ shops I've worked at almost exclusively logging. No one even knew how to get the build system to produce debug symbols at my last job.
Ah, I didn't know about the points threshold, thanks!
Take a look at NOGIS [0].
They were primarily designed to avoid Austrian GEZ but should work fine as dumb tv's as well.

[0]https://nogis.at/
Thank you, Dang
>uh yeah, these grifting creeps posing as journalists are exactly what people expect when they win lottery tickets and claim them non-anonymously.

Is there a reason you consider them not journalists?
Some stupid MBA with a bow-tie was probably pitching how this is going to be a "game changer" for the product.
This is already thanksgiving, so probably he collected his nice bonus for "innovative contributions to the company" in reality it's just a disgusting weapon for management to bring it up as part of your 1:1s with your bosses or when you ask them for a raise.

Thanks for fucking everyone up kiddo.
it literally says so right on the page. i'm fairly certain the operators don't care what the spectrogram looks like.

as far as how powerful the transmitter was, obviously the rogue transmission would be stronger for those closest to it.
I stopped reading business books like this when I realized most advice is either irrelevant or counter productive.

You might as well read the opposite: “Feedback is the most important thing you can give to a team member. Count up to 5 before giving any feedback.”

Unless backed by research, most books is intellectual posturing for career builders.
Those are two orthogonal things though: 1) electing people who consistently act in good faith, and 2) noticing, acknowledging and prosecuting if elected authorities act in bad faith.

(1) is a known hard problem in a democracy. The democracy in Korea is young as you have noted and there are cultural holdovers from previous times, so perhaps having (2) happen N times first is the only way forward—otherwise all they’d get is an illusion.

Where (2) is not implemented, (1) is less likely to happen (no deterrent). If (2) is implemented and citizens learn to elect better and keep trying, (1) may happen at some point.
I've had a couple links I've submitted that didn't get much attention, followed by an email from dang that it was a legit post that deserved attention and an opportunity to repost the next day. Every time I've replied with gratitude and compliments, and he was gracious, helpful, and humble.

Those interactions and attention to moderation keep me here. Moderating this sort of thing is no light task and I have a huge amount of respect for those who keep it sane, fun, cordial, and interesting

Thanks dang!
No what I'm saying is "don't live in fear", even the worse prognosis doesn't automatically leads to death.