skysight-inc/HackerNews huggingface dataset:
Tangentially related: a few years ago I re-watched 2001: A Space Odyssey -- a movie I know by heart -- at the theater with a live orchestra rendition of the soundtrack. Powerful and highly recommended.
This is amazing. The only problem is I now want all these features within the OS X file open dialog for opening saving files within applications.
3 Scenarios for Bitcoin Price When Halving Occurs in May 2020
They already have F* for such type systems.

https://www.fstar-lang.org/
Bah. Everyone knows the sound of an ice cream truck is Turkey in the Straw. ;D
Do you honestly expect anything _but_ [punishment for the ones who got outed]?
F*, https://www.fstar-lang.org/
> don't walk, that seems to be the most dangerous common mode of transportation

Not walking is also a bad idea, though. I don't have numbers at hand, but I can imagine that a sedentary lifestyle gives you way more micromorts than the risk of traffic accidents when walking to work.
Amiga OS 9 would have looked very different from the Amiga OS that we know (I am talking from a developer's point of view, not about the GUI).

Since inter-process communication in Amiga OS was based on message passing with memory-sharing, it was impossible to add MMU-based memory protection later. As far as I know, even Amiga OS 4 (which runs on PowerPC platforms) is not able to provide full memory protection.

There was also only minimal support for resource tracking (although it was originally planned for the user interface). If a process crashed, its windows etc. would stay open. And nobody prevented a process to pass pointers to allocated system resources (e.g. a window) to other processes.

The API was incomplete and tied to the hardware, especially for everything concerning graphics. This encouraged programmers to directly access the hardware and the internal data structures of the OS. This situation was greatly improved in Amiga OS 3, of course far too late. Amiga OS 3 was basically two or three years too late. As far as I know, Apple provided much cleaner APIs, which greatly simplified later the evolution of their OS without breaking all existing programs.

Finally, the entire OS was designed for single-core CPUs. At several places in the OS, it is assumed that only one process can run at a time. This doesn't sound like a big issue (could be fixed, right?) but so far nobody has managed to port Amiga OS to multi-core CPUs (Amiga OS4 runs on multi-core CPUs, but it can only use one core).

I have been the owner of an Amiga 500 and Amiga 1200, but to be brutally honest, I see Amiga as a one-hit wonder. After the initial design in the mid-1980s, development of the OS and the hardware basically stopped.
Look for Engineering White Papers
Formally Verified Cryptographic Web Applicationsin WebAssembly [pdf]
> Yes, philosophically there is a conflict, which is resolved by you deciding which main() function you find more useful.

it's not just philosophical though. In git terms, when merging the two sets of changes, someone has to choose which of these functions goes onto the master branch. git calls this a "merge conflict".
Hype pipeline:
1) Take a banal feature engineering work.
2) Add Albert Einstein reference.
3) Profit.
Really, what a bad time to publish such article. Oculus Quest hit records with its' sales for Christmas, and out of stock for two months ahead.
Genuine question for radio/medical people here.

Is there any value in advertising less "radiation exposure"? I thought this was an answered question, that cell phone radiation is non-ionizing and has no health effects.

And also, even if your cell phone isn't projecting, you're bathing in cell tower waves all the time (which is why you have a signal).

I'm sure the inverse square law probably applies here as far as strength but the overall point holds, correct?
They do entertaining things as long as you are comfortably more than ten feet from the end where freedom is expelled at supersonic speeds though, like, from buying Titanium sheets from communists to build the fastest airplanes to spy communists, to letting own psycos spike unsuspecting grad school elites to experimentally manufacture terrorists
I guess you are trolling, because a native app can print "hello world" in around 100 bytes.

That's a difference of more than 6 orders of magnitude :')
Oh yeah, that was interesting. They were renaming it to be part of the Speed Trim System, with the MCAS name used only internally. After doing some looking, apparently the STS is a system on all 737s that adjusts the stabilizer in order to increase the stick force. This is necessary to ensure the plane meets the FAR speed stability requirement for the minimum increase in stick force as the plane moves away from the current speed. It does this by moving the stabilizer in a way that opposes the flight stick input, and is active 5 seconds after the last manual trim input when autopilot is off. If you've been following the discussion of MCAS, all of those details are probably feeling awfully familiar...
Then it's in line with the accuracy of current fitness watches on the market that can't see my 200m sprints, think I'm taking steps when I'm eating with a fork, and undersample + oversmooth my pulse.

Gathering sketchy blood pressure data all day in the hopes of smoothing it into intelligence just sounds like the state of the art for wearable fitness gadgets.
The radicle protocol specification [pdf]
I find the content-addressed, name-independent, immutable (kind of blockchainy) approach to source code very interesting. On the other hand this seems to be rather orthogonal to other (semantic) aspects of the language.

I wonder what would happen if we would change one thing at a time to test the idea: create something like unison based on an existing popular programming language. (python, javascript, java, etc...) All the syntax handling, building and version control would be done the unison way, but the interpreter would be the same as today in that popular language. The benefit would be that a lot of existing code could be transferred into the initial 'blockchain', with all the current dependency hell being solved from day one.
I did not think this through deeply though... Maybe some aspects of existing languages prevent them to be handled the 'unison way'?
Many inexperienced developers don't understand the difference in latency between a local memory call and a remote HTTP API call, so treat the two as equal in terms of architectural concerns.
Y'know, the ear canal would work pretty well...
A Garmin Forerunner 35 will meet those requirements. It's a fitness tracker but you can turn those features off if you don't want them.
Not quite the same thing, but: between 1918 and 1921, there was an 'anarchist territory' with a population of 7 million people in eastern Ukraine. By all accounts it was essentially stateless and had no real authority. Alas, it got entangled in the Russian Civil War and was dismantled in the 1921 by the Soviets.

https://en.wikipedia.org/wiki/Makhnovia
Show HN: Platform for UX Researchers and Designers
Perhaps this is the reason:

https://www.unisonweb.org/docs/language-reference#a-note-on-...
You're a CTO at a banking startup. Your experience does not apply to most programmers.
Some notes re coreutils and ssh

sha256sum uses 128KiB blocks when reading, which may be more optimized than the openssl program.

sha256sum supports using openssl libs as they are generally faster. This is enabled on Red Hat flavored distros and arch, but not debian flavored as yet

The upcoming release of sha256sum (8.32) will auto enable use of openssl for >= v 3, as openssl's licence has changed to apache in that version
I wish they explained what the actual issue/ FCC regulations were. The website's lack of information makes me feel suspicious
Earlier versions did use decltype but that causes issues with pointers to member functions. See: https://github.com/progschj/ThreadPool/commit/ac2a77d5cc0436...

result_of has now been deprecated in newer C++ versions but since this advertises itself as C++11 thread pool I intend to leave it as is.
“Publishers” really should be “journal”. In the past many journals were run and published by professional societies. They had to deal with printing costs. The reviewing and editing is largely volunteer work still. Nowadays a professional society could easily handle the costs of a couple of staff editors and provide only digital copies. But it seems many/most professional societies sold out their journals to Elsevier. The idea of a traceable blockchain scoring and journal would be great. Journals and professional societies are largely about informal relationships in a research community for better or worse. Being able to track this in a blockchain could be helpful in bringing scrutiny and transparency in cases like the “Alzheimer’s Plaque Cabal” which is currently hidden from scrutiny.
"Tesla Becomes the Biggest U.S. Automaker run by Elon Musk in History"

FTFY
partially initialized arrays

I agree that partially initialized data structures are important for low-level, performance-oriented programming. But it is not clear how to do this within a Rust-style type-based approach to memory safety. Naturally, one can always wrap the problematic code that deals with partially initialised data in an unsafe-block, but you can already do that in Rust. By Rice's theorem we know that we cannot have a feasible typing system that allows us always to deal with partially initialised data in a safe way, but could there be a compromise, covering most of the standard uses of partially initialised data (e.g. what you find in a standard algorithm text book like CLRS, or a standard library like C++'s)? I don't see how right now, because the order of initialisation can be quite complex, too complex to fit neatly into well-bracked lifetimes a la Rust.

Have you got any ideas how to do better?
Linearity and Erasure in Idris 2 – Edwin Brady
I have average size arms. No human taking my BP has ever switched to a non-standard cuff size for me.

And yet, when I tried a consumer-grade automatic arm band blood pressure test, we couldn't get it to read within 100 mmHg of what any other machine or person had ever gotten. It was consistently claiming something crazy like 250/150 for me, though for most other people's arms it seemed to be somewhat more reasonable. We tried rolling up my sleeve, un-crossing my legs, the whole nine yards.

We even pulled out a stethoscope and had some of us (non-medical-professionals) listen to my arm, and nobody had any trouble hearing the change. No doctor, nurse, or phlebotomist has ever had any trouble taking my BP, either.

I am apprehensive of expensive, complex machines that attempt to replace what a human can do by hand in about the same amount of time with only a tiny amount of training.
There's nothing philosophical about it! There will exist a conflict as far as Git (or any other) version control system is concerned. That's all he saying!
Tasmanians discover 43,000-year-old plant (1997)
Does Mozilla (the current steward of the the language, as is my current understanding) not currently pay devs to work on Rust?
For your own personal use, your own personal anecdotes are really all that matter.
I'm talking about services like this http://www.sfspecialneighborhoodpolicing.org/about_us.html

I've read that some building/condos/whatever have HOA's that require them to fund it. I'm not providing an opinion. I just found it surprising, if true.
Why not a watch that measures women's body temperatures to determine menstration each month ?
Or just use an immutable language or library and you'll have the best of both worlds. Unless you're writing an operating system. But the example was given in Python so I guess it's perfectly fine.

The idea of immutable data structure is just like strings in Java or other modern languages: it seems like a reference type but works like a value/primitive type. It maintains a constant pool that all "foo"s in the same virtual machine points to the same reference. For immutable data structures, they work in the same way.

On top of that, there's more underlying sharing mechanism. For List(1,2,3), it's actually might sharing the same List(1,2) with List(1,2,4) to minimize the waste.
If someone offered me $200k+ (before taxes) to "do their work for them", I wouldn't have a problem with it as long as they paid in a timely manner. And that I got the recognition versus Tesla themselves taking the credit.
How can you tell the elegance or gotchas from a 6 line Hello World?
> When you whip out your phone and start recording that's obvious as hell. Not so, when you do it by a wearable.

Not necessarily obvious. You most likely can't tell if someone is just holding his phone in his hands, or is recording you. There are apps that don't show a preview or any other clues on screen, so you won't know even if you get to see their screen.
There's a site called "Facebook". That has even more
Tangentially related, but after years of trying out (and struggling with) hundreds of calendar and schedule apps, in the end what was best for me turned out to be a simple text file that I keep updating and look at each day. A line on it represents a day and begins with (dd/mm), and events for the day are plaintext separated by commas. Each day gone by gets erased. Absolutely zero friction and I can see an entire month of stuff at a glance so I'm always aware of what to do. Can't believe it took me so long to go back to such bare basics, and now I strive to reach this level of brutal basic frictionless simplicity in my own toy projects.
Is there a touring show/orchestra for that? How do/did you find information on it?
I'm curious why this got down-voted. Was my opinion invalid or something?
> Easy-to-use vs. powerful is a false dichotomy.

iMovie vs Premiere/Final Cut. Final Cut X vs 7. Garageband vs Pro Tools. Word vs LaTeX. and so on. It's very difficult to design interfaces that are easy enough for average users that don't impede pros/power users.

> hammer

A hammer isn't a good comparison. Something like a multimeter is what I was thinking of, etc. Git solves a significantly more complex problem than either of these, though.

> including the author himself say the interface could at least be made much better

I don't disagree! Git's interface -could- be better. That has nothing to do with my points above with regards to people refusing to read basic literature about the tools they use, expecting them to just magically do everything for them out of the box, "intuitively".

> feeling superior ... you don't want to lose your "edge"

This could not be further from the truth. I simply have no sympathy for people who refuse to read the manual or an intro to using a tool, and then complain about the tool being hard to use. Yeah.. it's hard because you didn't do any reading! Git is actually really easy if you read about the model that it uses. Most people don't need to venture out beyond ~5-6 subcommands, and even then it's easy to learn new subcommands like cherrypick, rebase, etc.

Adobe Photoshop, as another example, has a learning curve, but that tool is indispensable for professionally working on / editing images. (GIMP is also good, but that's not in the scope of this discussion). A lot of beginner issues are basically PEBKAC because they didn't read the manual. Same with Pro Tools, or probably any other software used by industry professionals. They're harder to use but what you can do with them (since they treat you like an adult, instead of holding your hand and limiting you) is incomparable to the output of apps designed for casual users.
Agreed, what is the issue here?
> instantly send the data to a central server

and in addition... share it on social media. Benign examples being your girlfriend just saw you on Twitter buying a ring for her by virtue of facial recognition and auto-tagging.

Always-on glasses constantly recording and uploading video are at least very illegal in Germany. I know we are sometimes too conservative and risk-averse but always-recording AR glasses are a bit too much.
I have never tried a scooter, is it really that easy doing a full stop with a scooter at 25km/h safely?
I don't want to drop ZFS for technical reasons, but I do share some of Linus concerns about licensing.
If a site is big and can’t afford a third party provider, doesn’t that say more about the business model of a site?
DEAD LINKS, like the plumb bob article
Laravel 6.10 Released
What's the point of automatically taking wildly inaccurate measurements?
Really surprised that neither the article nor the comments here mention the #1 barrier to entry. Your average person doesn’t want to strap a big, heavy, sweaty contraption on their face that blocks their vision entirely. Analysts and enthusiasts seem to miss this point constantly.
The continued (and growing) popularity of KWC seems to me to indicate a real desire for a more organic, free-form style of living space and architecture as opposed to the IKEA / Dubai / generic mall style that we seem to be building everywhere. I wonder if something similar will ever arise in the near future...my guess is that we'll have to wait for space travel to really kick off to see more flexible forms of government and construction.

In any case, the closest thing today in Hong Kong to the Walled City is probably Chungking Mansions. Not quite as anarchic or run down, but it does have a family resemblance. I recommend the book Ghetto at the Center of the World: Chungking Mansions, Hong Kong for more about the interesting global mix of people and economics that goes on there.

https://en.wikipedia.org/wiki/Chungking_Mansions

https://www.press.uchicago.edu/ucp/books/book/chicago/G/bo11...
Sure - I'll drop them an email to see if they can remember. They changed towards the middle of last year, and it was reported to them by NHS staff rather than them experiencing it first-hand, so their memories may be a bit hazy.
It was a specific one that was mine. I would open the app and only my scooter would show up (other users couldn't see it). I'd store it in my apt and what not
VR-devices are good but still not good enough. New generations are much better than last that it completely ruins the experience with older hardware.

I tested VR-headset directed at professional use: VR-2 Pro https://varjo.com/products/vr-2-pro/
Now every VR headset directed at consumers feels like utter crap. PSVR and Vive experience is ruined.

If you are willing to cough up €5995, you get really blown away until something better comes along and there is still long way to go. Field of view is just 87 degrees for example.
> Google search was minimalist

That's a feature.

> Maybe I'm missing something major

Yes.
hi htw
I'll echo the other comments here, too. I never put anything in writing that I'm not comfortable being published publicly. Working in the public sector and being subject to public records requests, and working in the private sector and having my emails quoted by opposing counsel to a judge during a lawsuit both taught me the value of being exceedingly careful in what I write.
Freeconference.com operates in questionable ethical areas, using high interconnection tariffs to fund its operations. Users are none the wiser, as it is the connecting telcos that get screwed.
Yes, this seems obvious to me.

Stuff like The Void[1], where a complete arena is built to supplement the visuals, with physical features that match the VR ones (like physical buttons on walls that match the VR projected ones, moving platforms), smells, wind, sounds, etc.

The future of this is going to be incredibly cool, I think. Just subtle stuff like blowing cold air on your face when you're standing on top of a VR mountain, will do wonders for the immersion.

[1] https://www.thevoid.com/
Termination fees, baby. Super sketchy all around, but AT&T probably has the better angle here: https://www.networkworld.com/article/2292108/fcc-referees-di...
It's as much how it is written as it is what is written. No-one who isn't a captain of industry could write a blog post like that, because they wouldn't be writing a puff-piece and write in the guarded lofty tones of political speak.
When the defeat device was turned off during normal engine use its emissions went up by 40x the legal limit. VW's scandal was unprecedented in my opinion. The NOx emitted by those filthy cars are awful for anyone with respiratory issues.
The Bystander Effect in Open Source
Biochemical conversion inside microorganism with chemical reversal once outside
I see loads of mothers with small children on the underground and buses in Nürnberg if I’m traveling outside of rush hour. Having observed my German and American sisters-in-law, it comes down to what you think the kid really needs.

The German sister-in-law can get everything into a backpack and midsized rolling suitcase to bring my niece along for the train ride to her parents at the other end of Germany.

The American sister-in-law traded in her Tahoe for a Suburban when my nephew was born and manages to fill the cargo compartment for a week at her parents, where she still has her own room.
Reminds me of .info a decade ago. Guaranteed spam, malware, or phishing.
content-addressable is admittedly perhaps a little bit niche. If you spend some time in the version control/distributed data structures space you will have run into it. But if you haven't d then you will perhaps never have encountered it. Your description of a hash table and references is a pretty close description of the idea at it's core.
Big Data Approach Explores Planetesimal Evolution in Presence of Jovian Planets
I would actually be interested in something like this if it were open source. But as it is I actually need a few services like telegram to be on my phone, and here I can’t even program it into the messages app myself.
Who said that?

They say:

"HeartGuide is the first, ___clinically accurate___, wearable blood pressure monitor."
Your personal anecdotes are indeed all that matter when it comes to describing your past.

When it comes to predicting your future, though, your personal anecdotes may not hold water to more substantial data.
Yeah, except... Who wants to be the guinea pig here? There is a difference between "oh, I did 7000 steps instead of 6000" and "oh my blood pressure is 200/90 instead of 120/70".

We are getting so used to poor software just for the sake of "innovation" (release fast) that I am wondering what's the difference between buying a fake watch and a real approved one - like this one from omron.
Following data leaks like this one I suggest sending the company, in this case CheckPeople, a GDPR / CCPA deletion request. Here's a simple way to do it: https://yourdigitalrights.org/?company=checkpeople.com

Disclaimer: i'm one of the creators of the service.
> cypherpunks

That's not what you think it means. The crowds behind the names you dropped are very different and have very little overlap.
Let's say I'm grocery shopping or whatever and there's 3 people recording for whatever reason. Now I'm on their video, on Facebook, very likely to be tagged.

No thank you.

If they can do that, I am free to fly a drone above their head.
> This kind of approach is usually not what you want

One thing I learned from all the issues and emails I have received about this repository over the years is that what people consider the "usual" use case of threads varies wildly. Some only care for the concurrency but not the performance, some have huge amounts of tiny work items, some have small amounts of huge work items, some have complex dependencies, some have none at all etc.
I'm left handed, and wear watches on my right wrist.

So, you might not wear a watch that way. But I do.
About a year ago, I was considering investing in Boeing. I would have made a good chunk of change doing so. I'm glad today I decided not to.
For the yankees, that's Central Business District (CBD), not something marijuana related.

I'm in Canada and have had days of smoke from the Fort Mac fires roll through -- it's rough.
I don't think a current news event with lots of coverage, directly related to the topic at hand, requires research paper level footnotes.
Pitch-Deck Library: The pitch decks that helped hot startups raise millions
If it works {{your first sentence}}.