skysight-inc/HackerNews huggingface dataset:
The biggest problem I have with Tramp performance is much deeper, the need to open a new connection for every request - it makes integrating other modes with Tramp much more difficult than I would hope for (e.g. I tried to make kubernetes-mode work over tramp, and it mostly did, but each refresh had to reconnect, which would freeze the whole Emacs GUI for a second or so; thankfully kubel-mode has a more complete implementation that handles this gracefully).
Airport Screening While Wearing Masks?
I 100% buy that OpenSSL hasn't dug itself out of the hole it was in back in 2012. But building a new TLS library puts you in the same hole with respect to exhaustive unit test coverage, right? You're better off starting from a place where you already have a fairly extensive (if incomplete) unit test infrastructure than one where you're starting from scratch.

This is a weakly held opinion. I'm mostly motivated by the knee-jerk response OpenSSL gets on threads like these; I think those responses are based on a reputation that doesn't capture the level of work that has gone into the project in the years since 2012. That doesn't mean it's the apogee of what we can do with a TLS library.
How Australia Is Cracking Down on Internet Trolls
Depends on the file system. On Windows you can use shadow copy for example.
> Formally verified against what? and what assumption were made?

Well, tell me again, what is OpenSSL formally verified against? What assumptions were made in OpenSSL?

Formal verification does not eliminate very large classes of bugs only when absolutely everything is formally verified, including timing attacks. Instead, it consistently produces more reliable software, many times even when only certain basic properties are proved (such as, memory safety, lack of integer overflows or division by zero, etc).

Formal verification can be a continuum, like testing, but proven to work for all inputs (that possibly meet certain conditions, under certain assumptions). The assumptions and properties that are proven can always be strengthened later, as seen in multiple real-world projects (such as seL4 and others).

The result is code that is almost always a lot more bug-free than code that is not formally verified. And as I said, more properties can be proven over time, especially as new classes of attacks are discovered (e.g. timing attacks, speculation attacks in CPUs, etc).
Would it? The recommended response to suspected concussion is the same as if you have confirmed concussion: don't drive yourself home, take a couple of days rest, don't do anything for another week or so that risks getting you another concussion, seek medical attention if things get worse. Importantly, immediate medical treatment is not generally advised.

Mostly this test would be useful for ruling out concussion, e.g. letting athletes continue to play contact sports because they "just" got a bang on the head, not a concussion. Hardly a game changer.
Now do Facebook's public facing comments about section 230.

(context https://twitter.com/doctorow/status/1374785753629163521)
I think one valid fear is that a web application might, for multiple reasons, scale beyond a single process on a single server. This is common enough that using an embedded database can be problematic, compared to a separate RDBMS process that can be shared between processes. Some web applications are just never going to scale out for any reason, and for those SQLite might be appropriate.
Math is hard. Programming is hard.
I'm thinking something like "Uber for cosmetics testing", where people can sign up to test cosmetics on their household pets in a distributed marketplace.
This plus NAND is where we're headed I believe
The drivers also figure out what behaviour will maximise their business. Changes to the algo can have unintended consequences.
> How is the security with Fossil? I'm always leery of hosting (niche) web facing services written in C.

Fossil's been available for nearly 14 years now and we've had to make only a single security-relevant release in that time (in late Summer 2020).

Fossil's primary architect, Richard Hipp (edit: HN user "SQLite"), is no stranger to code hardening and continues to add security-related APIs to all levels of the code, from how we internally build SQL queries or encode URL arguments to the recent (late 2020) ability for the db to lock down regions of the db until/unless that protection is toggled off for the brief blocks of code which need to modify those regions, ensuring that other areas of the code cannot modify parts of the database which they aren't directly responsible for. Security against malicious inputs has never been treated as an afterthought in fossil.
Shameless plug: I wrote this small CGI script in bash to serve stuff from my home server with auto-expiring links: https://github.com/tzahola/share-link
They are generally the same thing, with flexibility for local conditions and preferences.

In my opinion, the most compelling expression of the idea is found in the work of New Urbanist architect and planner Leon Krier.

https://en.m.wikipedia.org/wiki/Léon_Krier

Merely scrolling through the Google image search results for Krier will provide an excellent introduction, as the concepts are so user-friendly. These are the neighborhoods I’ve always looked for, and there are some.
The Windows task bar these days behaves almost exactly like the Mac OS dock and has since Windows 7. The main difference is if you click on an application with multiple windows open, it pops up a window selector (tip, ctrl+click to cycle through the windows instead) instead of whatever Mac OS does (some combo of bring up the main/latest-used window of the application). You can enable the Vista and earlier behavior—listing all open windows and not grouping by application—but I imagine very few people do.
I know very little about SIMD but a lot of crates I have used support SIMD acceleration. For an overview see [1].

There is also an interesting crate that abstracts over different instructions and does runtime detection [2].

[1] https://lib.rs/keywords/simd

[2] https://docs.rs/simdeez/1.0.6/simdeez/
As it turns out, privacy preserving federated auth is actually typically bad for most users - as then the federated auth provider can't identify or ban malicious apps.
This is the same company that proliferated a genocide[1], profited from it, and did nothing to stop it.

[1] https://www.nytimes.com/2018/10/15/technology/myanmar-facebo...
Just a thought: that is more related to security models than to GUI vs CLI.

In Windows you can delete and break things if you're a local admin. Warning messages got better, but using a PC also used to be intimidating.

Smartphones on the other hand lock all apps by default, which is way better to novices.

I believe CLIs might be made friendlier with the correct segregation / security model.
Undine
I'm actually somewhat unclear in what the goals of threading are, at times. Pushing a process out and having a sentinel on a buffer has long been possible.

What is the aim?
Having lived in both countries, in my experience UK towns are a lot more dense than American suburbs.
The sqlite position on this is articulated here https://sqlite.org/np1queryprob.html

> N+1 Queries Are Not A Problem With SQLite

>

> The SQLite database runs in the same process address space as the application. Queries do not involve message round-trips, only a function call. The latency of a single SQL query is far less in SQLite. Hence, using a large number of queries with SQLite is not the problem.
I'm a little sorry I clicked on "Net population change in North American birds"

https://bionumbers.hms.harvard.edu/bionumber.aspx?id=117281&...
I’ve also been running the release candidates, and I get something like 6 seconds to first plot on my 2013 laptop, including the time for `using Plots` and the time to actually draw the first plot. A huge improvement; kudos to the developers.
I find it fascinating that DNA can be compressed in this way
Yet no mention of car center console UI.
A Random Walk Down Wall Street - It changed how I invest my money. I went through the dot com boom bubble, lost all my investment. After that book, I applied "Trust in time rather than in timing." method, I survived and thrived the Great Recession and COVID crash, while many of my coworkers bitch and moan about their portfolios.
I think VR will be much more important than AR in the long run. The technology isn't there yet, obviously, but in the long run. I think viewing VR as an escapism entertainment medium is far too close minded. Sufficiently advanced VR would be able to simulate your actual environment* and anything else AR could simulate.

There are also many more functional applications of VR than AR. Random examples to illustrate my point:
* Can train on the "real thing" instead of watching videos, doing exercises/drills, or reading books (e.g. military, pilots, surgeons, construction workers).
* You and your coworkers could all go to an "in office" meeting without being in the same hemisphere (i.e. it would look like you were all sitting in an office together)
* Students wouldn't have to sit through another boring lecture to learn, they could go there and watch it unfold for themselves (even if the lecture content takes place over a large period of time!)

*by this I mean within the scope and context of whatever you're doing and not that the VR simulation would be created perfectly down to the last atom
Yes, it is our fault for believing Netlify had contingency plans as hosting is their core business. We're fixing this mistake now so that our customers don't have the same experience.
I'd love to have worms!!!

they say you have to build up an entire ecosystem of life in your soil to attract the most worms.

I'm trying to find more ways of attracting them but it's hard to get specific studies that show things in a quantifiable way from the gardening community. Some say leaves on the surface attract worms, some say it's composted things, some say it's compost that hasn't completely been broken down yet. But, I have yet to see studies that show precisely the percentage of worms increased by various types of organic matter. What's the optimal approach? other than just adding more organic matter.

i'm adding as much organic matter on top as I can from a variety of sources. but, it'd be great to get some actual specifics on what's most effective.
* The Secret Life of Groceries - stopped me from eating shrimp

* Why We Sleep - changed my sleeping habits

* How to Win Friends and Influence People - stopped me from being pedantic and argumentative
I have to request a chair and monitor through my IT department. I mean jeez really sucks.
Not a Rust troll (never used it) but would this be one of those things Rust would prevent?
In the book Gates of Fire, it's mentioned that split pieces of wood were used as "dog tags" for soldiers.

Each solider would write his name on the stick, break it in half, toss one half into a basket and tie the other stick to themselves.

At the end of the battle, any stick still in the basket that wasn't claimed was clearly a "casualty". The sticks tied to the individuals could also be used for identification.
In the matrix multiplication example, the measurement is done via a simple

t = time()
results = calc(n)
elapsed = time() - t

So startup time at least isn't included.

One might argue that this is still biased against Julia due to its compilation strategy, but fixing that would mean you'd have to figure out what the appropriate way to get 'equivalent' timings for any of the other languages would be as well - something far more involved than just slapping a timer around a block of code in all cases...

edit: As pointed out below, the Julia code should indeed already have been 'warmed up' due to a preceding sanity check. My apologies for 'lying'...
I still miss Google Reader almost every day. I now use Inoreader but for some reason it just doesn't feel the same.
When I went for my first job (high end RnD) I had the option of working in Pipeline Transport or the Mathematical Modelling Section.

And I knew that crawling inside the test track to unstick things sound like hard work and computers seemed to be a field with more opportunities.
I used to have an Apple Watch with LTE so I could go without my phone even when I left the house. Then I sold it because I started needing it much more for work. Now I'm considering getting it again just to be able to keep away from my phone at home.

How low I've fallen.
I do have fond memories of the simplicity of CGI, but also remember the big speedup and scalability improvement when we swapped over to NSAPI (no more forking, pooled processes, etc).

Kind of interesting that "serverless" (AWS Lambda, etc) seems to be going through the same evolution now. That is, initially liking the simplicity then hitting a wall with performance and making it more complicated.
> The Wayback Machine has not archived that URL.

Can Google just delete stuff from the wayback machine?
I am not talking about Germany at all, certainly not Germany of today. I think you missed that we are talking about a hypothetical future where a prospective dictator with overwhelming support is concentrating power. It already happened in my country; it's not happening in Germany and you correctly identified the reason ("It would see the most trusted state organ protecting the Basic Law."), not because of any entrenchment clause or even supposedly recursive entrenchment clause.
Maybe this should link to [0] instead. It talks about a change in their newsfeed algorithm resulting in a 5% decrease in usage time. Think about that. Their algorithms are so good, they influence how billions of people spend a lot of time. And they know how to increase that time as they wish. They have no incentive to decrease usage further and even if they commit to something like that now, as soon as their revenues decline Wall Street will force them to ramp up usage.

[0]: https://about.fb.com/news/2021/03/how-were-tackling-misinfor...
> It's no different even if the (defunct) startup has a patent

Not true - VC's are scared of giving money to anything that directly infringes a patent. If the company ever does wildly well, you can be sure whoever bought that patent for cents will be trying to collect millions...
I agree I wish that would be nicer, but I've found the stable_abi crate to be quite convenient/easy for most situations. It is extra work, but with derive support it's often not too bad :)
ftp or sftp if you're lucky - upload a giant CSV or receive one. It is crazy to me it still works this way.
Cool CSS Framework
I have always found computers interesting. However maths was my worst subject so decided to study something more business-y... Hated it, saw the social network and was just enthralled by the idea of being able to make something that people like and use, without anything but time and a computer (and a 10 dollar Linux vm). Switched majors and never looked back since. At the end of the workday, I sometimes want to continue cracking on a problem. Love the feeling of finding neat and simple solutions to difficult problems.
Wow!

Church of the machine God strikes... (From Deus Ex)

https://images.app.goo.gl/5KHWS599ddTmkvVb8
Great to hear @xeno42! Exactly what we're trying to achieve.
I believe infernoJS complete with vdom still matches and even exceeds on most metrics.

Last I checked, svelte compiled different code paths for every single component.

This means that most DOM manipulations in real-world applications (not micro benchmarks using the same components repeatedly) won’t ever optimize in Svelte. Meanwhile, the vdom code runs constantly and is hand-tuned to help ensure deopts don’t happen. Likewise, potential optimizations to reuse old nodes and other “garbage” are much easier to implement with a unified DOM implementation. Finally, once you implement the vdom once, you don’t do it again. With Svelte, your code is recreated for every component. This may give smaller component in the short term, but there’s an inflection point (and it’s in the small-medium range) where svelte starts shipping more code for the same work.
I would argue that socialism and libertarianism are not forms of government, or even philosophies of government, but values that are brought to government. All government essentially involves balancing security and liberty, and the socialism/libertarianism dichotomy is really a spectrum that reflects where one finds that balance. And the narrow/broad distribution discussed in the article is another expression of that spectrum: on the left, the more egalitarian distribution one might associate with socialism; on the right, the broader distribution that might be associated with libertarianism.

But neither socialism nor libertarianism is equipped to deal with corporatism, which is orthogonal to the balance between the security and liberty of individuals, because it involves an entirely separate kind of participant. Corporations can warp the landscape much like gravity warps space, creating demand for inferior goods and shifting massive external costs onto the general public. The author identifies some of the effects of corporatism as problems for libertarianism, and describes them in terms of the uniform/diverse distribution model. But the article doesn't address the corporatist roots of those problems, in much the same way that a flatlander could identify problems created by 3-dimensional invaders but would struggle to see the real cause.
China’s Communist Party reshaped China's internet in its own image
By the same line of reasoning, your customers could be faulted for believing you had a contingency plan.
You're looking at it from the point of view of the structure of society. From that perspective, you have a reasonable point.

But I'm thinking in terms of what children can take. I'm not sure a seven-year-old needs to work an eight-hour day. (I like the idea of leaving time for kids to do their "homework" while at school, though.)
Researcher Contacted by UK Police After Reporting Passwords in Public Git Repo
You are sharing your downloads with your Antivirus Company
density is not really a challenge, it's just a question of city laws and zoning.

if you allow 5-6 story apartment buildings and eliminate onerous process and requirements (like parking minimums, setbacks, design reviews, "environmental" reviews, etc etc.) then you will see these neighborhoods being built.
Yes, static generation is a great way to go if that works for your use case. Throw it up on a CDN and you'll likely have five 9s of uptime. I don't think that's a viable solution for a lot of applications though.
Well I liked it as a kid; grabbing all the pages at once and slamming it open at the index to find whatever toy I was looking for. Taking one home to leaf through later as well. I still vaguely remember the order of the sections.

Now that I've got other things to do as an adult though (and I moved to London, where the stores are more packed and the queues longer), I find all the waiting around a bit tiresome.

But maybe they really are doing a pivot to a better online service.
Does anyone have a good RSS reader suggestion?
I'm looking for a desktop application (Linux preferably).
I'd really like one that does download all the feeds, but lets me tag words and topics that I'm interested, and get a notification based on that.

Maybe I need to write my own...
I think one thing that you're missing that hasn't been mentioned is content caching.

If your favorite website went away, you could still read and search all of the articles in the cached feed. I don't think there was an expiry time on it (other long-term users, feel free to correct me).

These days there is no equivalent. If someone you follow decides to take down their website, you have to hope that someone archived some of their content on the popular archive sites.
I had seen Dr. Hipp speak at a conference[1] around 2009 and it really put SQLite on my radar as a (then) Mac developer. It ended up surfacing from the back of my mind around then at Mapbox when I put together the prototype of the MBTiles file format[2] which is still in use today. The idea of an on-disk relational database was new to me and just a perfect fit for where mobile devices were at that point in time, and for our use case of offline maps.

[1] https://en.wikipedia.org/wiki/C4_(conference)#C4[2]

[2] https://medium.com/devseed/portable-map-tiles-format-release...
Continuous code reviews are the way to go
Fresh milk is the real kicker. A growing youth can easily drink $120 a month which is unaffordable for many.
I find the thought of a strategic coffee stockpile pretty amusing :-)
No sarcasm. I really mean what I wrote. The reason: this would open up a new market and encourage studios to develop open source games. Also, I really do not oppose proprietary art. Not even Stallman is against it[0].

We've had a bit of it a some years ago when some indie devs sold through "humble indie bundle" pay-what-you-want and made the code available if they money passed a threshold amount.

[0] https://www.gnu.org/philosophy/nonfree-games.en.html
I feel like it is because it's a group of people in the same field, which is constantly changing. There are topics related to the group that make sense to discuss.

With smart people, I suppose any topic is on the table. It's not specific enough for me.
Sadly, even after switching to their DNS I am still affected.
If you are in WAL mode, you can have unlimited readers as one writer is writing.
Show HN: Find the nearest place to get the Covid-19 Vaccine (in the US)
Linux has /dev/shm a shared memory ram disk by default. You can create a ram disk on a mac with

diskutil erasevolume HFS+ 'ramdisk' `hdiutil attach -nomount ram://8388608`

Though I have not seen a mac with more than 32gb ram. There are paid applications for creating a ramdisk in Microsoft Windows. Some of them will even sync back to disk based for you and read from disk back into ram on startup.
You're not adding the size of the ffmpeg binary itself with that.

My ffmpeg which I compiled as follows (with my own filter)

--enable-gpl --enable-version3 --enable-nonfree --enable-libx264 --enable-libx265 --enable-libmp3lame

is 21,387,880 bytes

Running with your command reports an additional 18,273,624 bytes

linux-vdso.so.1 (0x00007ffcbcdfd000)
libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007ff60391b000)
libmp3lame.so.0 => /usr/lib/x86_64-linux-gnu/libmp3lame.so.0 (0x00007ff6036a4000)
libx264.so.152 => /usr/lib/x86_64-linux-gnu/libx264.so.152 (0x00007ff6032ff000)
libx265.so.146 => /usr/lib/x86_64-linux-gnu/libx265.so.146 (0x00007ff60267e000)
libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007ff60245f000)
libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007ff60206e000)
/lib64/ld-linux-x86-64.so.2 (0x00007ff605d14000)
libdl.so.2 => /lib/x86_64-linux-gnu/libdl.so.2 (0x00007ff601e6a000)
libnuma.so.1 => /usr/lib/x86_64-linux-gnu/libnuma.so.1 (0x00007ff601c5f000)
libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 (0x00007ff6018d6000)
libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007ff6016be000)

I guess it depends what you compile in.
I think it is naive to believe there will be any sort of consistently applied rule. It will be based on the whims of whoever manages this initiative.

They are only using fact checkers because it gives them someone to point to and say "Look we didn't make this call, they did". This is like a money laundering scheme but with brand reputation risk instead of money.

Facebook will retain absolute control and the people running this initiative will do whatever the brass tells them to, this program is just for deflecting complaints.
Thank you, looks very promising. I will definitely try it out when I get the distributed computing itch again.
I was thinking of closed in terms of number of options, not publisher control of apps. You're right that browsers don't tend to censor content on the web today. Tomorrow, we'll see.
Directly through Microsoft's SQLite provider - Microsoft.Data.Sqlite.

See: https://docs.microsoft.com/en-us/dotnet/standard/data/sqlite...