skysight-inc/HackerNews huggingface dataset:
How wasteful is it to have a bimodal decoder that assumes 8 4-byte instructions or 8 2-byte instructions, with bail-out circuitry to dispatch fewer instructions and advance to the next instruction-size boundary in the case of a stream of mixed widths? You don't need to handle the entire realm of possibilities in a single cycle if you're willing to pay a performance penalty for mixed-width instruction streams.
You'd pay a performance penalty for mixed-width runs of instructions, but hopefully profile-guided-optimization would allow the compiler to know where to make the tradeoff for speed and were to make the tradeoff for size.

Also, you mentioned elsewhere that you're a hardware designer. I'm aware that split register files are advantageous for speed, while unified integer and fp register files are advantageous for small/low power implementations. Given that the high-performance implementations are going to use register renaming anyway, has anyone quantified the penalty in using register renaming to allow for a split register file in high-performance implementations while allowing compatible low-power implementations with a single register file? Maybe the transistor savings are dwarfed by other concerns in a modern hardware implementation, but given RISC-V's academic goals, economy for FPGA implementation seems useful.
I wrote that you have to be able to wait 5 years.
More than that, once you have more than 2 people in a room, a culture will develop.

You can either let it grow organically or try to guide it at least a bit. And there is a reason we study for intellectual endeavors and train for physical ones.
Interesting. Alberta is really only known for reinforcement learning as one of the leading academics relocated to Edmonton, but they're not known for much else. You won't hear of Alberta much in academia or in Silicon Valley, and the only reason I know of them is due to prior interactions with Richard Sutton.

UBC and UT certainly receive more funding for computer science and engineering and they're generally well regarded research schools and highly recruited from. UT seems to be slightly more prominent but I'd wager it's a result of the school being much larger with multiple campuses all considered the same school. Same story with Waterloo's computer science faculty being many times the size of UBC with mandatory internships in its undergrad program.

Perhaps the reputation of schools domestically in Canada is different than their brand overseas, as UBC is known even in Switzerland and Sweden, but Alberta and Waterloo are completely unheard of. Even now as I relocated to the USA, UBC comes up often (despite the relatively small Computer Science faculty) and all the past companies I used to work for across quantitative finance and autonomous vehicles recruited from them.
Checked C: Adding Memory Safety to LLVM
Profile pic? Ok.. I have genuine question for you: Do you masturbate to text as well?
Can you suggest a good introductory book for Systems Dynamics?

The last time the topic came up, I read the popular one from Donella Meadows but I found it too shallow [0].
Now I'm considering "An Introduction to General Systems Thinking" because it was written a computer scientist, Gerald Weinberg.

Also, is there any free tool to play around with the modelling of feedback loops? LOOPY [1] is too simple quickly.

[0] http://beza1e1.tuxen.de/thinking_in_systems.html

[1] https://ncase.me/loopy/
I've been using the HN RSS for a long while. It works fine in your reader of choice.

I am kind of disappointed with this submission though because I was expecting an analysis of the people who read HN, aka HN readers.
Self-hosted disposable email addresses with AHEM
The truth about the moonshot goal
would be great also having top company list which moved permanently to wfh
>What exactly gives you the right to do that? And why is your reason any better than a different one provided by someone else who wants to argue the opposite?

Why use science if it won't work without assuming the principles it's built on are not true? We assume science is true, we established that logic cannot be established to be true. Thus if logic cannot be established to be true, then science cannot be established to be true, then why do we use science?

The only other conclusion is we "assume" science is true and therefore "assume" logic is true even though we can't truly know if it's true.

>We've now turned science into dogma. At what point do we then need to become aware that we're pretending? Surely there comes a point where pretending costs us epistemic legitimacy. Where is that point? And what response do we offer to an interlocutor who insists the earth is flat and our logical deduction of it's spherical shape is "pretend"?

I'm not a philosopher. I'm not into epistemology as I'm not even entirely sure what it is. SO if you dive into that world too deeply the argument is over because I can't argue with something I don't know about. Either you explain your points in layman terms or the argument can't proceed very far because I won't be able to understand you.

I'm just saying that "pretending" is the same thing as "assuming" We don't actually know if something is true, but we still use science as if it's true. The contradiction is what allows us to use the word "pretend" we know that it cannot be known yet we act as if it is known. Hence "pretend"

>Both of these statements are nonsensical and are debunked in the Critique of Pure Reason.

Well declaring a statement nonsensical doesn't mean anything to me without you explaining the reasoning behind your declaration. Citing a book won't really do anything for me because I haven't read the book. We're at a dead end here. Obviously I won't read the book because it's too long to read right now and obviously you won't explain the book for the same reason, so for this point the argument is over... we reached an impasse and can only agree to disagree unless you decide to explain the book to me.

>I have a feeling we're dealing with a small bit of motivated reasoning with respect to interestingness here.

I'm interested up to a point. If the point is a paradox I'm not interested in exploring the paradox. If that's the direction you're taking your argument then it's an impasse. Either way we're just debating nomenclature here.
Delusions about the ancient pastoral lifestyle weren't really a major feature of Italian fascism, which was deeply rooted in the Futurist movement.

You shouldn't assume that you're talking to Americans.
Could you not dissolve the business and create a new one together, bringing thrn in all its ip etc..
> We only take 10% + transaction fee(3.6%)

So 13.6%. Why write it as two separate fees?

Also, the sample project link goes to a broken page.
Celestial Navigation
Startup Lyst – Find your next startup tool
Startup Lyst is one of the world's largest library of startup tools for listing and finding tools for startups

We have curated list of startup tools in all the categories like Idea Generation, Startup Naming, Hosting, Market Research, Marketing, Design, Project Management, Development, Forms and Surveys, Mockups and Wireframing, Deplyment tools, Product Marketing, MVP, Presentation tools, Product Demo, Analytics, Customer Support, Team Collaboration, HR, Finance, CRM, Sales and Prospecting, Raising Capital, Payment Gateway, Outsourcing, Growth Hacking, Finance etc

Startups can also add their tool by clicking on add a tool button and submitting information about their tool
As @dang said, I admire the HN philosophy - “Move slowly and preserve things.”

There is no need for a dark mode. Just use a style extension. We are all tech savvy people here.
CMSeek – CMS Detection and Exploitation Suite
10240 bytes makes it 10 KiB club, not kB.
Yeah, I sold my sennheiser HD6XX for a pair of Bose QCs. It’s just so much more comfortable.
Explore the history of “anthropodermic bibliopegy”: books bound in human skin
It looks very similar to the 3090. Will it not be nerfed like the 3090? https://m.imgur.com/a/RH8vyz9
Imma be kinda snarky here

SV VCs struggle with once per long time peroid 500 HTML LoC page layout change?
I agreed that it’s better than the alternative. Also the alternative has the risk of amplifying echo chamber viewpoints. And then there is the fundamental of how new would comments break the barrier of getting upvoted in the first place?
VsChat – Chat with developers around the world using VSCode
This extension will helps you Chat with developers around the world

• Chat while programming

• Anonymous Chat

------------

Launch Day :

- vsChat got featured in Daily.dev

https://app.daily.dev/posts/tKvPL-xAM

- 6th position in Product Hunt

https://www.producthunt.com/posts/vschat

------------

Demo: https://youtu.be/jaNGBBn8BJE

Download from VS Marketplace:

https://marketplace.visualstudio.com/items?itemName=Ademking...

GitHub: https://github.com/Ademking/vsChat

------------

Inspired by VScode stories and VSinder

https://www.youtube.com/watch?v=ApR-kNXxLUs
They are finally upgrading to double glazed windows on post-October models.

Noise is only a little bit better. It’s still embarrassing.
had to give up on that one at about 1:30:00 even Lex seems tired. No offense but the ratio of trolling and content with Hotz is way too high. I enjoyed Lex episodes with his father and Alex Garland though.
This quote is about execlp(), execvp() and execvpe() functions, which are supposed to emulate what shell does.

POSIX has similar wording:

> In the cases where the other members of the exec family of functions would fail and set errno to [ENOEXEC], the execlp() and execvp() functions shall execute a command interpreter and the environment of the executed command shall be as if the process invoked the sh utility using execl() as follows:

execl(<shell path>, arg0, file, arg1, ..., (char *)0);

> where <shell path> is an unspecified pathname for the sh utility, file is the process image file, and for execvp(), where arg0, arg1, and so on correspond to the values passed to execvp() in argv[0], argv[1], and so on.

https://pubs.opengroup.org/onlinepubs/9699919799/functions/e...
My mistake, I skimmed it and saw assembly language and I assumed it was that really early seminal paper that introduced modules to the programming world. Obviously my guess was wrong.
Programs like TortoiseGit which heavily customize the Windows Explorer and other bits of the Windows UI in ways which Apple would never provide APIs for.

macOS supports Finder extensions: https://langui.net/snailgit/
nice! i've been using sudo apt install php all this time i could have used sign-up with facebook @repl.it!
Or make satellites with relay capabilities? Why did they have to EOL Cassini when it had an RTG anyway?
I've just watched a movie with him, about that PFOA stuff. If he's aiming at a class action lawsuits, I'd sign up.
I do think this idea answers the Fermi paradox. We are here early in the universe’s life. Especially considering it was mostly just hydrogen and helium for the first few billion years.
I think you've missed the point. The article was about genuine emotions.
Professional context would be demanding PDF, HTML or Word Docs over plain text, relying on a Virus Scanner. Everything on MS Windows. That's easy enough for the average phishing campaign.

Enigmail or average joe PGP integration does help, but your phisher won't use PGP. What helps is proper cooperate culture. No html, no pdf, no office docs over email. Best, no email at all.
“ Thankfully Apple is not yet making cars, otherwise, to change Engine oil, we may have to dissasemble the headlamps, engine, transmission, differential, etc. ”

Interestingly changing the oil in a lot of prissy super cars require exactly this.
Not quite. Yes, that may be true for ping, but ping is very much special. It builds its raw packets.

But do a "strace -econnect nc 0 22" and you'll see that yes, actually, a connect() syscall to "0.0.0.0" does connect to localhost.
Fish Fraud Is Real. What Should We Eat?
I saw them do A5/1 live cracking on stage in Netherlands. It is amazing what you can do with sheer determination. Learned a lot from their talks on GSM.

USB E1 is holy grail when it comes to E1 interfaces. Before that meant a PCI card, which excluded all laptops and SBCs. And it usually required some pretty specific kernels and modules to be installed.
Primary and middle school especially are part of nation building everywhere in the world. History lessons are purposefully a mix of history and propaganda.

Every nation has a founding myth. Romania's is the struggle against adversity, foreign empires and our resilience over millennia. The American one is freedom (the struggle against tyranny) and the American dream. The British one is resistance against adversity on their island, vanquishing European autocrats. Russia's is liberation from the steppe nomads and then turning the tides in a rough part of the world.

They're half lies, half truth in my experience. You know, myths :-)
‘Geen poep op de stoep’ applies to both meanings as well.
From https://solarsystem.nasa.gov/missions/cassini/mission/grand-...

"Having expended almost every bit of the rocket propellant it carried to Saturn, operators deliberately plunged Cassini into the planet to ensure Saturn's moons remain pristine for future exploration"
> One of the things about poison is that the more poisonous it is, the fewer living people it will be found in.

Haha, that’s excellent!!

PFOAs do have various impacts on mice, at high dosages: https://cfpub.epa.gov/si/si_public_record_report.cfm?Lab=NHE...

The question at hand is:

How much ubiquitous, world-wide PFOA presence is too much ubiquitous, world-wide PFOA presence?

Related question: is it physically possible for DuPont to synthesize and release an amount of persistent environmental toxin sufficient to end all higher life on the planet within 500 years?
a) Depends if you run with replication and how you've configured your writeconcern (w and j values). https://docs.mongodb.com/manual/reference/write-concern/#ack...

This is giving you the choice where in the CAP triangle you want to be.

As you can see the default of w:1 and j:null when run in non replicated mode does not write journal to disk before ack. If you want better guarantees read some best-practice articles, most of them recommend w: majority, especially when run in replication.

c) no issue

d) $lookup works fine and is as old as 3.2, but as with any join, if you try to combine 2 tables with millions of rows each, performance will be bad. That said it's not as good as RDBMS here. No foreign keys or voodoo under the hood optimizations for example. Mongodb sales people will always say that you should model your data differently, without really giving good examples of such. But really - even if multi document queries exist, you should not continue modeling data as BCNF and think of mongo as a drop in replacement for RDBS, the domain should be suited for denormalized documents to begin with.
It’s apparently possible on planes, so it could work for offices too. https://www.flightglobal.com/quiet-revolution/31793.article
It's not at all ridiculous and it's misleading to claim it is.

I was taught Classics at a moderately posh school. And the Roman Empire - which was a very effective nationalist war machine, but utterly barbaric ethically - was very consciously echoed by the British Empire.

It's still consciously echoed in the US. Congress has a couple of giant fasces on the wall behind the Speaker. How much more of a clue does anyone need?

This is no longer obvious in modern Classics departments, and modern Europe draws on more recent history. But it's still a very obvious motivator for imperial Anglophone militarism and commerce. Most obviously in the UK, our recent crop of neo-imperialists not only drop Latin into their speeches but seem to think of themselves as classical heroes.
I suspect solving those problems within a solar system will almost always be easier than traveling to other systems. Then again maybe travel to neighboring systems is easier in a denser neighborhood.
Sounds like a psychological conditioning (behavior modification) regimen. Beware, it has a very sharp slippery slope towards unethical conditions.
What is modern about this ? Weren't women been part of armies for last hundreds of years ? (I do not know, genuinely asking)
hmmm, I just tried it and it auto completed "fastest way to lose weight" maybe it is trying to tell me something.
I prefer https://raycast.com on MacOS for the last couple of weeks.

https://user-images.githubusercontent.com/4332171/97564988-5...
Since I have a bad habit of checking Reddit many times per day, I often arrive at HN via my subscription to r/hackernews
> Sel4 is less than 9k lines of code

By my count, it's approximately 86k loc.

> That is a very, very long way from developing a general-purpose compiler for a general-purpose system language that can perform arbitrary formal verification for arbitrary code

Even a language like ATS (which is ‘general-purpose’) can verify a substantial majority of code which would need to be marked ‘unsafe’ under rust. (It also proves a number of other interesting and desirable features, like bounding recursion.)

> I doubt that [complete formal verification, as a goal] would be a particularly useful one for 99% of developers anyway

Why? I find that a pretty attractive proposition.

Safety isn't an end to itself; it's means that enables a broader desire to produce more reliable, correct software. One of the great things that rust (and, to a lesser extent, typescript) have done is to bring more expressive, powerful type systems into vogue. Ones that can more effectively model real-world systems and verify program behaviour. Why choose to stop, arbitrarily, with however much power rust's type system happens to have at the moment?

> Veloren (https://gitlab.com/veloren/veloren/) has almost 120,000 lines of code nowadays and yet has fewer usages of unsafe code than you can count with a single hand

Veloren is a video game and arguably has no excuse for having any unsafe code. Redox, which is probably a better case study, uses the keyword 8k times.
It's been years since I tried to use Beziers but I remember feeling like I didn't understand what it was doing. This is much more predictable.

What's the explanation for what's happening when it ...explodes?
SAP Commerce (Hybris) Quick Coding Exercise – Refactoring the DAO
Little add-on for Firefox, which highlights newly added comments after page refresh on main HN site. Really useful.

https://addons.mozilla.org/en-US/firefox/addon/hacker-news-c...
Sounds very interesting! Could you direct the interested to your favorite review article or another starting point?
Edit: they cheated, this isn't ANC and will never work as ANC. See below.

This sounds pretty fundamentally different from normal ANC. A common misconception is that ANC headphones "predict" the incoming noise and cancel it (and thus "they're good with constant noise but not sudden changes"). In reality they're just hybrid open-loop/closed-loop feedback systems. Specifically, the mic inside the cavity works with the speaker as a closed loop system to equalize the pressure inside in real time. This works for wavelengths smaller than the cavity size, give or take. So there is no prediction, and they don't care whether the noise is constant or not. They just have a given frequency response, and above a certain frequency all you have is passive muffling (no active cancellation).

But this can't do that, because the speakers are much further away from the user. So it had to predict to get any kind of decent frequency response. I wonder how they're doing that. A lot of noise sources are uncorrelated and not predictable...

Edit: They cheated. They're taking direct feeds from the source loudspeakers, and then all they have to do is track the transfer function to cancel that out from another speaker. This will never work in the real world, where sound sources are not coincident with your microphones (or lack thereof as in this case). Cool research, zero real world application as a true ANC system.

I have no idea why they're selling this as ANC. This looks more like a system for computing real time room/response calibration as the user moves around their head. That's valuable, in a completely different use case.
> I've read that increasing CO2 %, increasing temperature, and increasing water availability will improve plant yields. Is this true?

Depends on the crop/cultivar and where and when it is being grown, but I distinctly recall 2019's Peach bumper crop in Colorado as I made a peach salad on my station that sold like crazy which was used as a sauteed fruit with our pork chop entree!, too and we still had more come in than we could use And this was sold alongside a melon and heirloom tomato salad that also sold well, but was always constantly running out sooner into service because of the immense surplus of peaches we had that year [0]. Looking deeper into that later in the Fall after we looked over the (record breaking) numbers I looked back at the reasons why which included the weather in the Western Slope: no snap frosts, very little hail and warmer/balmier albeit wetter weather in the Summer in Colorado.

This was true for almost all stone-fruit that year, too. Whereas the heirloom tomatoes were limited in the early Summer hit a snag because they kept bursting due to the extra rain or had to be grown in lower elevation counties in Boulder, Weld, Ft Collins and in the Southern Counties. This would get better, as one who has farmed/gardened would predict, in the later Summer to Fall despite the rain as more plants were planted and were maturing to uptake the water.

> I understand that the change in climate will change the established weather patterns that we're used to now, and create drought in areas that are currently wet. I don't understand why we can't adapt to this and move our farms to where the water is.

This is my biggest concern (one that I understand well) as our prediction models and the Ag supply chains and distribution models we've created and been reliant on and how fragile they are under simple variable changes as proven by COVID this year. We could, should and WILL HAVE TO adapt but the issue is that we have such a centralized food system that its so monolithic with massive labour shortages and is hard to correct that without a local system to meet the demand (which is the case for most city dwellers) is exactly how Society breaks down.

> I keep hearing this, that global climate change will reduce our ability to grow plants, and I don't understand why this is true or how the science for it works. Can anyone shed some light on it, please?

Its way more complex than that, and is really impossible to give a complete answer as countless books are written on specific topics that range from: water depletion due to lack of rain and drought, soil erosion, bee/pollinator collapse etc... I can help if you narrow down what specific aspect you're asking, but essentially what you're describing is the fear of ecological collapse as much of Man's intervention and actions have led to immense consequences we never took into account.

I also think that the Sun's activity is playing a bigger part in weather, specifically the role cloud formation has on rising temperature as a result of cosmic ray ejection, that we do not speak about enough.

https://coloradosun.com/2019/05/29/western-slope-peaches-bum...
Ask HN: What is the best article you read online this year?
If anyone's curious, here's the link to memcpy() as it's actually implemented in the Cosmopolitan headers: https://github.com/jart/cosmopolitan/blob/de09bec215675e9b0b... One thing that the web page doesn't mention (for the sake of simplicity) is that the Cosmopolitan headers do call __builtin_memcpy() as well, but only for 2-power constexpr sizes. That's the only time when GCC and Clang both do the optimal thing. In all other cases it's faster to use asm("call MemCpy") which implements something faster than the builtin would otherwise generate. See https://github.com/jart/cosmopolitan/blob/de09bec215675e9b0b...