skysight-inc/HackerNews huggingface dataset:
> Most people wont care about the objective efficiency of an interface

This raises another important consideration. A lot of software isn't and shouldn't be aimed at "most people". A few weeks spent learning something less intuitive can easily pay off over the course of a professional career using the software if it affords those that know the interface well a faster or otherwise better workflow.

Just a reminder so that you people don't design CAD software for heavy use by professionals in the same way you'd design a tax form for almost everyone to use once a year.
Nobody clicks on ads.
They're just an excuse to track you.
And money laundering. That too.
larry went to a public high school, as did sergey. neither family was wealthy.
Thank you for reminding me that fecal transplants are a thing and have shown real world benefits. The one time a suppository is preferable to oral administration.
> in practice, what kind of proof are people building when building real world programs ?

Here's an example of a proof from a Turing machine simulator written in Idris [1]. The claim is that the length of the tape never decreases after taking a step.

The "claim" is stated in the type signature, and the "proof" is an implementation of that type. That's what "propositions as types" means. The whole thing looks like a regular function, except that it doesn't do anything and it never gets called. However, by virtue of having been accepted by the type-checker it verifies the claim about that piece of the program's behavior.

[1] https://github.com/nickdrozd/rado/blob/86790bbb218785e57ea88...
Ideas are Alive and You are Dead
This isn’t what I’ve seen. Historical speculation talks about proportions because they’d have to use proportions to arrive at a total number anyway. Any *demic event with modern record keeping talks about the numerator.
Remembering your own machines really isn't the problem people think it is.

If I ask you what 192.168.1.1 is, you're probably going to guess it's a router/gateway. There is absolutely no reason for it to be, it's merely an accepted convention that the lowest-numbered host is the gateway.

There's absolutely nothing stopping you doing the same in ipv6. If you need to be able to remember where your gateway is, put it on 2001:db8::1. The problem isn't that they're long, it's that for some reason we assume we have to remember dynamically assigned addresses. Any address you have to memorise shouldn't be dynamically assigned, whether it's v4 or v6.
Of last year
mmap does map file contents into memory but does not provide read-write locking. The main limitation is that a file is not necessarily the same thing as the Rust data structure that it encodes. For example, if you store a Rust Vec in a file, loading the file with mmap won't allow you to `push` a new item onto the Vec.
Biggest Bitcoin Hacks in History
Clenched fist? Seriously? I'd better buy shares in these scary "fact copyrighting corporations"
I Won’t Write Your Article for $5
When you put it like that, buying carbon credit seems a lot like paying indulgences.
You're victim blaming.
I am not sure if I agree with this article. The semantic web and linked data are built using layers of schemas and Ontology’s and changing old stuff is a bad idea because links get broken. Additive systems, instead of creating new versions, will always seem a bit messy.

If you look at valuable public KGs like DBPedia and WikiData you will see these layers of old and older schemas. My argument that this is not such a bad thing does have a powerful refutation: the slow uptake of linked data tech and KGs.
> merely my 2 cents

Two 1943 wheat pennies, I'd say. Thanks.
A bunch of CI configs in one place
In Uruguay happened for a few months too! I thought it was local to us as well. How weird
This is just a list of links with no context or real technical analysis. I guess you are comparing LN to something else, in that case you should too make a list of links of the problems and fraud issues with, for example, fiat based payment networks or as another example, real adoption issues for things such as bcash.

And if your objective is to discard LN because of those issues, those same issues do not seem to matter in the real world where people are actually using LN for real transactions every day all over the world. This is public data you can check yourself.

Anyways, I think this list of links is biased and doesn’t add value to someone trying to understand modern payment networks.
I agree. Alarmist rhetoric since at least the mid-1980s. We've made massive progress on environmental issues since then, but still the same alarmist rhetoric.
"An emerging connection" doesn't mean "leads to suicide". It's at best a claim of correlation (maybe depressed people are more likely to socially isolate, and games are something fun to do while doing that?).
At its peak public valuation in March 1999, Amazon traded at 45x revenues…
Amazing, a genetic mutation that made it orange. Translucent also exists.

Apparently, being different was enough for the others to pick on him. Where have we seen this before?
Maybe, maybe not. We took action against the cigarette companies and it didn't establish that precedent.
I disagree. For example, I've found Google Docs' offline functionality extremely useful, since it allows me to continue working on documents while traveling on a plane or a train with no data connection.
Or Armed Bear Common Lisp.
It's an interesting question; maybe he remembers. If it was a Lisp-1 when originally implemented, it became a Lisp-2 within the first year or two, using different properties of atoms (symbols, as we say now) to evaluate them in "function position" than when they weren't. I suspect he might have made that change before he got it working at all because of properties like FSUBR and FEXPR.

It was definitely dynamically scoped, though.
Was the algorithm changed or just a constant/variable. I'm not as familiar with how mining difficulty changes but the reward halvening is based on a relatively simple algorithm that uses a constant of 210000 (blocks). Changing that constant doesn't change the algorithm but certainly changes the behavior of the system. In this case, the security of the system is clearly not changed when the constant is changed.

My understanding of mining difficulty is that you could tune it without compromising security so long as it's hard enough to provide dampening to the system. Right now it's adjusted to produce one block every 10 minutes on average.

Ultimately, if you want to keep the algorithm you need to either allow bigger blocks or allow blocks to be produced more often.
> Hey HN reader. Get rid of plastic from your life.

I've been foraging for non-plastic clothing and household goods. Preferably hemp, but am open minded towards bamboo, organic cotton, whatever.

Briefs, t-shirts, fleece pullovers, sweaters, fleece blankets, bed sheets, kitchen towels, etc.

Links, recommendations appreciated.
The discussion in this thread is indicative as to why companies don't do research like this in the open.
I followed up a 6 months entrepreneurship training, and we had a zoom with a facebook employee teaching us how to make instagram stories (changing the font color, using the boomrang effects etc).
> Life is short and you don't get to learn more than a tiny fraction of the knowledge and skills available, so if you want to make really cool stuff then you need to spend most of your time on the highest-leverage options and spend only a little time on the lottery tickets.

Solid gold advice, and this summarizes the whole article.
Ask HN: Why is Node.js hated so much?
I enjoyed, now it is time to get some books. Wished Scheme did the same.
Precisely.

And why should IPv6 be expensive?

Is it because we still tolerate vendors throwing up software that merely pretends to be IPv6 capable?

Or because IPv6 is magically harder than IPv4 despite being nearly identical?
What's long term for you? Isn't 200 years pretty good?
7500 employees, raised $10.5B, filing for an IPO with a valuation that would place them as 6th most valuable car manufacturer - 0 vehicles sold.. this doesn’t seem right. Some would call this a scam, for some its a bubble, but it’s definitely out of any reasonable bounds of how the game should be played.
Evolution doesn't have "reasons" (pre hoc is random mutation) but it has "justifications" (post hoc is natural selection).
> Can it be fixed please?

Lol, did you really just dive into this without knowing that blockchains can not be changed after they are published?
Nebula uses public key certificates, but they are not x509. The nebula certificate format uses protobuf for its encoding.
This article says that AMD GPUs are vector in nature, but I think that stopped being the case with GCN; before that they had some weird vector stuff with 5 elements or something.
In Germany, a law was proposed some time ago that would require websites with "adult content" to do a biometric age verification. They even discussed forcing OS developers to implement this on OS level.
Yeah, and until the last 20 years don't be anything that isn't white.
Merck created hit list to discredit dissenting doctors (2009)
> Lest you dismiss me, I founded Carbon Engineering, one of the most visible companies developing technology to capture carbon... The company’s interests could be hurt if geoengineering were seen as an acceptable option...

> ... Cooling the planet to reduce human suffering in this century will require carbon removal or solar geoengineering or both...

It's good that he discloses this in the article, but I guess I'd prefer if he had no financial interest whatsoever. It complicates his position, which I happen to fully agree with. What he's really saying, the cynical media consumer who has metastasized in me says, is that you should continue investing in his industry, and also invest in a related industry that will raise the tide he's floating on.
It's justified to execute people who head organizations that have high carbon emissions. At this point, emitting large amounts of carbon should be considered terrorism.
- Location: Sochi (Russia) / Internet

- Remote: Definitely

- Willing to relocate: Is it warm enough there?

- Technologies: Design of user experience (UX) and user interface (UI)

- Résumé/CV: https://vlad.studio/resume/

- Email: vladstudio@gmail.com

I'm a senior product designer with 8 years of related experience + 11 years of freelance design (one man orchestra) before that. I think, talk and write a lot before opening Figma. As a hobby, I learned both front-end (HTML/CSS/JS) and back-end (PHP/MySQL) stacks. Experienced in communicating with both business owners and developers. As lead designer and co-product manager, I helped develop highly successful educational math curriculum for kids - Reasoning Mind Blueprint - from scratch. Please see the resume above for details.
Yeah, you can’t just sort of observe things from a distance and make hand-wavy statements regarding regulation.

You’re not the only one to do this, of course — it’s actually one of the Facebook’s preferred talking points for journalists and politicians, as it turns their specific problems into an “industry-wide problem” — but your position is not accurate given the specific context of the company, its strategy, its executives, and its super-voting-shareholders.

What you’re saying is a bit like, “we need stronger regulations on knives or we are just going to keep having a serial killer problem.” If you don’t know the specifics of the situation — which, sorry you don’t, and simply being a user of these products or working in tech doesn’t give you any deep insight — you should try to avoid making claims that imply expertise.

It’s a bit like defending the Catholic Church because you’ve read the Bible — there’s no correlation, my friend (and I didn’t choose that example randomly). You’re all over this thread defending people you don’t know, about situations about which you don’t have knowledge. A lot of people seem to do this, this playing defense for free thing, for companies once they become big ... It’s a bit weird.
I wonder, might the fact that 'observation' has measurable effects, e.g. in the double-slit experiment, be a vector for inquiry into the question of qualia? I don't need to observe the path of a photon in the DSE to know whether someone else has observed it if I can see the presence or absence of an interference pattern. If we get better at formalising what 'observation' means in that context, do you think it could be used to arrive at a measure of subjectivity?
Baby’s Death Alleged to Be Linked to Ransomware
Context: Nattō (納豆) is a traditional Japanese food made from soybeans that have been fermented with Bacillus subtilis. https://en.wikipedia.org/wiki/Natt%C5%8D

From the abstract:

> Nattokinase (NK), the most active ingredient of natto, possesses a variety of favourable cardiovascular effects and the consumption of Natto has been linked to a reduction in CVD (Cardiovascular disease) mortality.

> Recent research has demonstrated that NK has potent fibrinolytic activity, antihypertensive, anti-atherosclerotic, and lipid-lowering, antiplatelet, and neuroprotective effects. This review covers the major pharmacologic effects of NK with a focus on its clinical relevance to CVD.
Carbon sequestration is one thing, but a lot of geoengineering ideas genuinely scare me. The side effects of clever attempts to cool the planet could easily be catastrophic. Yeah, the global climate "machine" is slowly heating up which could have irreversible effects over the next several centuries, but throwing wrenches into that machine to try to cool it down without the ability to precisely control it will likely have negative side effects much sooner.
TLR7: Susceptibility to Covid-19
Apple users need to be ready to leave the platform if they sell out, and to make this clear.
Toyota H2V (Mirai) has a small battery that serves as a buffer for the fuel cell, and it can also regen brake into it.

I'm still convinced hydrogen is scam greenwashing natural gas, though.
Let’s start at the beginning:

https://www.thecrimson.com/article/2003/11/19/facemash-creat...

You can work your way forward from there.
Is the need to use .js in imports as a ESM requirement?

For me it would be a good reason to avoid using it. Quite disruptive for my mind
Yeah. Lisp 1s are more common though. Racket, Scheme, Clojure, ... Hell, Javascript is also a lisp 1.
Classic on NextGen: AmigaOS 3.2 on AmigaOS 4.1 [video]
The internet doesn't have nodes that stop working if too many packets go through. Lightning nodes only work as long as they have enough liquidity to cover your transaction.
High Res. Thumbnail, Intro Video and End Screen Get It for $9.99
Surprised to see the Vox story did not mention the obvious:

1) that you need consistent rainfall to grow sapling trees. a year or 2 of drought will kill off a new planting without supplemental watering.

2)If drought occurs then the tree planting either gets get's cut down by locals for firewood and the carbon returns right back to the atmosphere - - - or forest fire does the job.
which brings up the thought that trees need protection from those who would merely kill them for construction and heating.
Where is the group of concerned Apple Employees signing a petition telling the company to stop doing _this_? C'mon Cher Scarlett!
Sure it doesn't WANT to sell user's data, but does it collect it anyways? And if so -- why? For a privacy focused company, that is quite strange, I think.
Jules Verne's "The Mysterious Island" had the castaways make nitroglycerin from animal fat and gun cotton as well. Highly recommend.
Dublin Core was always trying too hard to not be hard to use. It always struck me as a metadata standard for the library at an elementary school.

I was amused at how Adobe’s XMP format amended DC used features of RDF that most people were scared to use (ordered collections) to solve the simple problem of keeping track of the order of author’s names on a paper.

The big trouble I see with semweb standards is that they stop long before getting to the goal. RDFS and OWL for instance solve some problems of mashing up data from different vocabs but can’t do the math to convert inches to meters which is absolutely essential.

I was not so amused to see Adobe thoroughly nerfed XMP and it no longer sucks in EXIF metadata from images. I was hoping I could find the XMP packet and put it through an RDF/XML parsers and get all the metadata from my images but even in Lightroom images the XMP packet is a nothingburger these days. I guess people complained about the GIF files that had 2k of pixel data an 80k of XMP and that Adobe was co-opting other standards. Heck they even deleted most of the content from the standard including how to express EXIF in RDF so you can’t stick XMP in your database and SPARQL it.
What's the argument against researching it? Especially marine cloud brightening. I could imagine something where containerships were mandated to have devices that would loft salt aerosols in their exhaust. Investment in R&D seems wise.

https://en.m.wikipedia.org/wiki/Marine_cloud_brightening
> If in case, I over power the person and harm the person. I am liable for the medical bill of the person I harmed

Laws like this seem insane. I'm strongly of the opinion that if you are the one choosing to attack someone else, you accept all risk and responsibility for the encounter. If the victim responds with lethal force in bonafide self-defense, then :shrug:.
Silly hypothetical: Once we’ve stopped GHG emissions, say we Mr. Burns block out the Sun. But from space and just a portion of it. The idea being that you just reduce the total insolation by a bit and let orbital mechanics and atmospheric effects even it out across the whole planet.

If the blocker reflects all insolation, how large does it need to be today to get us back to 1990 levels?

I also kind of love the ridiculous idea of this regular artificial eclipse that creeps around the planet’s surface and becomes part of our normal lives.
Things That Hollywood Has Taught Us About Programming and Hacking
I don't think the climate problem can be solved without some form of authoritarianism.

For most people, climate change does not affect their everyday lives. It primarily affects future generations, and non-humans. Caring about future generations is a form of long term thinking that most humans don't care for or are not capable of. Most people's long term thinking stops at their five year plan, or their kids' future. Very few people think about hundreds of years into the future, let alone thousands. Will this planet be habitable two thousand years from now? Very, very few people think that far ahead. Even less people care about the fate of non-humans.

Then when you throw in the fact that a lot of people have an incentive today to fight back against measures to combat climate change, because it would reduce their profits or threaten their job, the outlook is even more hopeless.

We are never going to get a majority of people on board with fighting climate change, at least not until it's affecting a majority of people's everyday lives. And by then, it will be far too late.

I think the only way is for the minority, who do think long term, to seize power and impose their will on the majority. And, I have to add, because most people think authoritarianism in any form is bad, that in this situation, the authoritarianism would be good, just, appropriate and the best course of action.
Location: UK

Remote: Yes

Willing to relocate: Yes

Technologies: Navision/NAV/Dynamics 365 Business Central ERP systems, SQL, PowerBI

Résumé/CV: on request

Email: aquir@protonmail.com

Languages: English, Hungarian

I am working with ERP system for 15 years, I am very experienced in system integration, business processes, performance troubleshooting, training and software architecture. Customer facing, good team player with management experience
Every appliance in my home is significantly easier to repair/service than my iPhone 12.
Browsers want to be popular with users, but they also want websites to make money: if sites can't make money, there is no web to browse.
It's going to be hard to convince folks to replace their gas water heaters with electric heat pump models that cost ~3x more and save little to no cost annually.

I'm not sure drilling for a heat pump would work in town here, and then the operating cost would still likely be more than gas (heating is at least 75% of my annual consumption).

Figuring out how to eliminate those emissions is important, but it sure as hell isn't going to save me money, especially now and in the short term.
New nosqlapi release for Python 3
Well, Kuru is tied to cannibalism.

https://medlineplus.gov/ency/article/001379.htm

For CWD, You’re supposed to avoid eating anything that has come into contact with the brain, spine, or spinal fluid.

When livestock have an outbreak of a prion disease, they’re usually slaughtered and destroyed.

Searching for TSEs will garner you a lot of information if interested.

https://www.health.state.mn.us/diseases/tses/index.html
It’s such a shame there are so many things going on in one giant bill. Who knows which part of it they oppose. Wouldn’t it be nice to work on and debate one issue at a time.
It should be at least theoretically possible for an AI to identify contradictions, incoherence and inconsistency in a set of assertions. So, not identifying falsehood per se, but assigning a fairly accurate likelihood score based solely on the internal logic of the symbol stream. In other words, a bullshit detector.
A Flat Earth Theorist Meets a Mathematician (Topologist)
The difference is that your phone does not have thermal management for its battery, other than passive cooling. EV batteries, on the other hand, do actively manage their temperature; even a parked EV might, if the environment is too cold, use up a bit of its stored power to heat up the battery to keep it in the correct temperature range.
Replace Router with PF Sense
Leftists and censorship are always coming hand to hand.
Yikes. So scary that this is the top comment. Climate change can definitely be addressed at the corporate level with carbon taxes and even caps. No need to throw away our free and open society.

The fact that your go-to is to attack human rights is terrifying.
My guess is because:

- lots of people don't like Javascript

- lots of people don't like V8

- the guy who made Node.js (Ryan Dahl) doesn't like it either

- programmers think anything without thread support is a toy

I like Node.js, Javascript, and Ryan Dahl, and have no strong opinions on V8.
I feel inspired to start with Lisp after being disappointed with the "open" source scene of 2021. I'd rather pay LispWorks a yearly fee and be left alone than dealing with unbalanced people in the Python space. The free Lisp implementations also look somewhat isolated from the ideological wars.

However, a C interface is required. Is this one the recommended solution? Is it really portable?

https://common-lisp.net/project/cffi/

What is the speed compared to a Python C extension? Are implementation-specific C interfaces faster (I guess they are)?

Sorry for so many questions, but these can usually only be answered by people who have actually used the interface.
Creating a Platform Game in Blazor – Part 1
The Chinese equivalent to comrade also fills the role queer does in modern English in Hong Kong.

https://en.wikipedia.org/wiki/Tongzhi_(term)#Usage_in_contem...
Sounds a bit dystopian to me. Want to shut down protests? Just block out the sun - no daylight for you!

The word 'dystopian' rings a bell quite often when it comes to so-called 'climate change' saving methods...
I get called "friend" now. You broke it!

I find the fact that it is a fake chat pop-up a lot more untrustworthy.
Circular belts are useful as fast buffers.
https://en.m.wikipedia.org/wiki/Darwin_Awards
Feels AI written…because it’s poorly written.
Off-topic here, see newsguidelines

Hint: there is a reason behind website name