skysight-inc/HackerNews huggingface dataset:
It's the same story as with Signal for iOS. How do we know the version downloaded from the App Store is the same code hosted on GitHub? I'd like to have the option to sideload it. Clearly that would involve some work on their backend, but I think that's fairer than the stuff described in this Signal GitHub issue [0] and Telegram's website [1] regarding the same thing.

EDIT: if I'm wrong please leave some details for myself and others to learn more. I've worked on iOS apps for several years, and as far as I know there's no way to verify if an app downloaded from the App Store was compiled from a particular code revision. Even the same code compiled on separate machines can produce different unique binary IDs. And on the scale of difficulty, I'd say that sideloading is less difficult than jailbreaking, if that method even really works for this problem.

[0]: https://github.com/signalapp/Signal-iOS/issues/641

[1]: https://core.telegram.org/reproducible-builds#reproducible-b...
Archive link: http://archive.is/qfvCR
I just played around with Riot for the first time. Can you directly reply to a comment in a chat room like you can in Slack (like the sub chat thing, I'm not sure what to call it)? I actually find this an extremely useful feature that allows rooms to to be uncluttered with side conversations (which as room sizes grow, this becomes a HUGE benefit). I may be missing this or I can't do it in a room of only me?
> has anyone ever seen this happen?

My take on this, largely from reading Kuhn, is that the picture of "scientific revolutions" that philosophers have doesn't really apply to anything that has happened in any particular field of science since that field became a science. That's not an accident: it's because the examples the philosophers were actually thinking of in a particular field happened before that field became a science.

For example, when Kuhn talks about paradigm shifts in physics, what he's actually thinking of is the shift from Aristotelian to Galilean/Newtonian physics. That was a truly revolutionary shift, but it was a different kind of shift from, say, the shift from Newtonian physics to relativity, or from classical physics to quantum physics. Steven Weinberg, in a review of Kuhn's book published years ago in the New York Review of Books, notes that, in the latter cases (i.e., in any transition to new paradigms in physics since physics really became a science), the old theory lives on as a special case or particular approximation within the new theory. Newtonian physics still gets used extensively today, because it's a valid approximation to relativity when gravity is weak and speeds are slow compared to the speed of light, and classical physics still gets used extensively today because it's a valid approximation to quantum mechanics when there are a large number of degrees of freedom and quantum interference effects are negligible.

By contrast, nobody does Aristotelian physics today, nor has anybody done it since Newtonian physics took over. Aristotelian physics is not a special case or an approximation to any physical theory we have today; it's a totally different theory of physics that simply is not useful any more, because we've found a much better and more accurate way of modeling the world. So comparing Aristotelian to modern physics is much, much more of a "gestalt switch" or "paradigm shift" than trying to compare Newtonian physics with relativity, or classical physics with quantum physics. And that kind of shift is what Kuhn was actually describing.

Lakatos seems to recognize that there are limitations to Kuhn's approach, but I don't think he really grasps the degree to which all modern science is one thing, and all fits together, and the sort of "revolution" that took us from Aristotelian to modern physics simply doesn't happen once a field becomes a science.
I binged his videos quite a lot already. Very nice right ?
Agreed. In other words, it's true there are some famous cases of eccentric people who at first were laughed at but later turned out to be right. From this one absolutely cannot conclude eccentrics are often right. In fact, they are most often wrong.
GPG works, I don't know why anyone thought that anything else is needed.
I think it’s just a little subtler than that: “I’m not against it in general, but not in my backyard/neighborhood/ town/state...”
Ten minutes after I posted my message I just realized that the concept of a Macro has been around since the dawn of computing and is in large part responsible for the meteoric rise of Microsoft (along with a lot of viruses)

What I mean is I'm looking for a editor with macro capabilities that can be programmed in, say, Javascript, Python or Lua.
"Arbitrary date". Deadlines are still important.
you should be able to get encryption working with nio now. nio-template is a good start https://github.com/anoadragon453/nio-template
This was an eventual issue on my X61 in 2008 and on my T4something in 2018. It's a shame. I had to just apply a lot of pressure in random directions to the trackpoint to get it to stop, periodically.
Lenovo’s on site support is not that great though. I used it twice. Once for a broken drive, where they shipped me a new drive without any explanation or ever sending someone. Second time a broken keyboard a month ago, where they refused to send someone because I was working from home and not from a business address, and also refused to send the part (which is supereasy to install) because it was not marked as user-serviceable and then threatened they would revoke my remaining warranty if i bought the part direct and installed it myself. (I did it anyway.)
I think options 1 and 2 are exactly right. Depending on your system, you may not even have choice 1... it's quite hard actually to control a system so well that you can confidently say it will never exhaust the available resources. The JVM for example can only kill its process once its memory usage exceeds `Xmx`, but it can't prevent that from happening in the first place. If you had a few JVMs (or Python, Ruby or any other process) taking up all of your memory and the system started swapping disk like crazy, you could easily have the system crash anyway as different processes don't "throttle" or coordinate with each other.

Don't assume it's an easy thing to avoid.
No, you didn't miss anything. As you probably expected, it's just my deductions from context. I may be completely wrong. I still do believe in them, but obviously no one else needs to.
> GCC is very vocal on how they don't support ABI compatibility

Source? They very rarely break ABI. They even release ABI break fixes sometimes.

> Microsoft was very vocal ensuring they enforce ABI compatibility from Visual Studio 2015 onward.

They try to keep ABI stable, but nothing is promised until the actual releases happen.

Always expect a new ABI version at some point in the future!
At least when I've written elisp, the default datastructures have involved a lot of work to construct and manipulate, and when you do it right, the ones you've chosen for convenience may perform so poorly that you have to go back and change them to get your program to complete in time.

Namespaces for vars and functions being not a language feature is inconvenient. Unless you are using fakespace or intern-symbol (it seems hardly anyone does), every symbol in your program needs to include its namespace information in order to avoid it being accidentally invoked by somebody else, or accidentally convincing somebody that it's part of the base distribution.

In Clojure, it's many little things:

Keywords are callable, allowing you to evaluate a keyword on an associative collection like hash-map, or traverse, in an obvious and intuitive way, into a nested associative structure with the threading macros "->" and "->>".

The default data structures are fast (for what they are) and hard to misuse: unless you ask politely, you are not going to mutate something your function was passed passed without noticing. seq, the interface for sequences (vectors, lists, pairs from an associative structure), pairs well with destructuring in let and macros/syntax that does binding.

Things like 'let' don't use more parentheses than necessary, which has a greater impact on readability than you'd think. The use of vector syntax for bindings rather than list syntax adds a little bit of syntactic texture that makes reading programs more ergonomic.

I think Clojure may not be as unfamiliar as it seems at first to a person who's written other lisps before, but I have yet to meet somebody who prefers the experience of writing Scheme or Common Lisp to Clojure; nor anyone who prefers Elisp to Common Lisp.
Thank you, I'm very much looking forward to reading these.
Weird friends are great. Everyone secretly appreciates special handling. Little bribes make the world go round. It's quite an art getting someone to help without them eventually feeling a tiny hint of being taken advantage of, and vice versa.
Synapse is a beast. I am looking forward to a more compact server to become viable. Matrix is working on Dendrite (https://github.com/matrix-org/dendrite) and there is Conduit (https://conduit.rs) as well.
I'm not sure about the middle east but they're incredibly common in the Mediterranean (Greece, turkey, Spain etc).
It's more or less the same process where a developer buys land cheap and then with the help of a corrupt government rezones that land to something more valuable.
Conventional wisdom is 4% withdrawal for year 1, and then inflationary adjustments after [0].

So for $50k, that's $1.25M principal. If you can wait and supplement with social security or part time work so you only need to withdraw about $35k, then it's $875k principal.

[0]: https://www.fool.com/retirement/what-is-a-safe-withdrawal-ra...
Indeed, and China has the Gobi, but the Netherlands' total solar resource is only a few terawatts, while hundreds to tens of thousands of terawatts are potentially available to be imported.

https://www.en-tran-ce.org/custom/uploads/2019/02/Renewable-... seems to say that last January the Netherlands had 4300 MW(p) of solar PV generating capacity, which produced 0.4 petajoules. If that's correct, the capacity factor of solar PV in the Netherlands averaged 3.5% that month, which is shockingly low, about three times lower than even Germany and nearly ten times worse than equatorial desert solar power plants — although January is one of the worst months, and eyeballing the graphs it looks like the year-round average is closer to 1.3 PJ per month, giving a deplorable 10% capacity factor similar to Germany's. Until and unless panel prices drop dramatically again, situating the panels somewhere sunnier will produce three times as much energy, enough to pay for constructing quite a bit of energy transmission infrastructure.

But what happens if panel prices do drop dramatically? Well, if this appalling 10% is a typical capacity factor for utility-scale PV in the Netherlands, the total solar resource is only 4.2 terawatts, of which about 900 gigawatts is available with typical 21%-efficient solar panels. This is an order of magnitude higher than the country's current energy demand, but of course that means that you'd have to cover about 10% of the countryside with solar panels to fulfill that demand from PV alone — and seasonal variability means you'd have to triple that if demand is constant year-round. Covering a third of the Netherlands with PV panels is probably not possible, and covering more than 100% of it is definitely not possible. So the new kinds of energy-intensive industry that will become possible if PV panels get cheaper still will be out of reach of indigenous PV production.
Hi, I'm the founder of Retool. (I do indeed read a bit too much HN, hah.)

Thank you for the feedback — that does sound infuriating. We were optimizing for sharing of applications, but it sounds like the workflow you've adopted is really quite annoying. I'll have a think about what we could do here that might help (e.g. perhaps disabling "auto-adding" to accounts). If you have any suggestions please let me know (my email is in profile)! (I will send you an email by end of day otherwise with some thoughts...)
Problem is, we'll never cure cancer if no one is motivated to solve hard problems.
Vitamin D as a supplement might be useless -- best to get your daily sun instead (probably):

https://www.outsideonline.com/2380751/sunscreen-sun-exposure...
My keyboard doesn't have a 'ctrl' key, it has 'control'. I don't know why removing all the vowels from the word is considered more 'correct' than referring to the key by the first letter. Both 'C-' and 'Ctrl+' are ways of shortening the word.

It also takes what, five minutes to get accustomed to? Even old dogs can learn this new trick.
It didn't offend me, no worries. But I do use these services quite a bit, I appreciate the role of the driver (and tip accordingly), and I would prefer that the companies in question survive and prosper.

Is it a "tragedy" if food delivery services cease to exist? Not to me personally, but it would be an inconvenience, and likely something much more serious to the people who work there and to those who drive for them. It's unlikely that those people appreciate being dismissed as unnecessary. In a capitalist society, the fact that they are a luxury doesn't have any bearing on whether they deserve to earn a living. I'm sure you indulge in more than a few luxuries yourself, just not this particular one, and that's OK.

(My comment was) nothing more than an explanation of why people aren't willing to pay more.

Except you went a bit further than that, didn't you?

Honestly I don't expect delivery services to survive, and I don't think it would be a tragedy if they ceased to exist.

You were probably downvoted for appearing insensitive. It happens. Take the 'L' and move on. I usually shoot for a long-term baseline of zero, myself, because I agree with your criticism that HN tends to sound like an echo chamber.
Making it more popular is going to make it worse. Already in this thread people want javascript shoved into it. Emacs can be improved in many ways, but if it strives to be popular the opposite will happen.
Agreed, this is a topic on my mind, we have a need for better cloud based dev environments so this article's titled appealed to me, but it wasn't answering any questions or aligning with common issues.
The Cisco shell is a direct descendent of the DEC TOPS-20 one BTW.
You can load them into iTunes if that’s your thing. I personally don’t like the UI, and have used foobar2000 for a good while (with a custom theme). You can load music onto it using iTunes, or from the files app on your phone. In foobar2000 you can also download from a upnp server, which is nice if you don’t have iTunes (like me). If you have Plex, the Plexamp mobile app works pretty well. It supports your playlists, downloading, and a pretty good radio.
> He seems out of touch even with modern emacs packages. He doesn't use any of them

And he believes the right thing for the core Emacs-developers to do is to spend their time trying get everyone in MELPA (a modern package repo, with a modern GUI, based on modern tools and workflows) to instead move their packages to ELPA, with all the change in tools, modernism’s and workflows that entails.

He seriously believes this is important because MELPA isn’t GNU, and that’s all he cares about. It’s not enough to be open-source and free. You must be GNU, or it doesn’t matter.

He may add things of value still, but I refuse to believe it’s not overshadowed by all the backwardisms he constantly tries to impose on the core developers actually doing the dirty work.
> ZX Basic allows to inline assembly instructions!!! This is a killing feature

This feature got 14yo me to devour the Z80 Programming guide by Rodnay Zaks [i]. Which, introduced me to concepts like the address bus and registers that served me well through my 30+ year IT career.

[i] https://archive.org/details/Programming_the_Z-80_3rd_Edition...
> I can't imagine greybeards programming in rust.

Why not?
That’s because modern physics is difficult to make progress in, requiring lots of mathematical and theoretical knowledge in addition to sophisticated, costly experiments involving large collaborations. Someone lacking in the appropriate study and experience probably isn’t aware of all the ground that’s already been covered, and what it would take to have a breakthrough.

The lower hanging fruit has already been picked.
> You took on the debt. You decided not to show up in court. Are debtors just never accountable for their actions?

And what happens when that debt is $117 from Comcast because you "didn't return their cable modem" and they lost a class-action lawsuit about this?

Did I document that I returned their cable modem 4 years earlier because I used my own? Probably. Did I bother keeping that record for 4 years after it didn't appear on any of my bills? No.

So, when I moved and I didn't have a cable modem to return and they charged me for it and then turned it over to debt collectors (and magically never notified me before it went to debt), I wound up with a stupid-ass $117 judgement that I'm going to have to hire a lawyer for, force Comcast to disgorge 4 years of records, and put it on a docket.

And then Comcast will finally not show up and I'll win. After spending WAY more that $117 of resource and time.

Or I can ignore it for 3 years and file to drop it with the credit agencies and then they'll get rid of it.
Scopetrex is a game console for your oscilloscope
It also does not say that they have not provided key material or RNG output, or that they have not deliberately weakened any aspect of their design other than "cryptographic backdoors" to accommodate law enforcement desires.

These kinds of statements are typically most usefully interpreted as a template for the kinds of things they plan to do, just maybe not exactly in that way.
Honest question: why go through the hassle of multiplexing waiting in a single thread only to dispatch to a thread per client anyway? Simply using blocking IO for the clients in those threads should be much simpler right?
My apologies; I thought it was on this side of the line, if a bit sarcastic. I do my best to comply with the guidelines and keep it on topic here.

Please delete/kill the comment, it’s actually irrelevant because their old product is probably toast now (as is implied in TFA). My delete button timer has expired.
> If you don't do it, there's always a willing colleague who will

Haha, isn't this the truth. I work at one of FAANG as well and was curious how one of my colleagues was accomplishing so much. His output is astonishing. I checked his work profile and noticed he had commits, notes, and research actions starting at 7:00 AM and going until 1:00 AM the next day, every day, including weekends. I don't think the founder of this company ever even worked that much. I guess there's just some people who never burn out. Meanwhile, my wife gets annoyed about dinner when I work past 6 PM...
Anyone remember the special terminals that were used in EDBLF (defense project)? Siemens Nixdorf terminals with the same style keyboard as the ND terminal in the picture.

If memory serves those were specially made and cost a fortune.
AFAIK harassment in most states is very illegal now and is a great way to get your debt dismissed.

The same goes for fraud in debt collection. As I mentioned in previous comments, tactics like sewer service by debt collectors are a great way to get your debt dismissed.

Many people with lapsed unsecured debt know they owe that money, they simply prefer to pretend the debt will go away if they ignore it. If they don't know they owe the money then they definitely know they're being sued because in court they can't get a judgment against you without you knowing about it. On top of that many states require the debt collector to prove you owe the money even if you completely neglect engage with the system at all.
Customizing Image Sizes in Solidus
UBI instead of welfare is a libertarian theoretical that isn't gorunded is people's real life concerns or particularly relevant to realpolitik.
Visualizing the length of the fine print for 14 popular apps
Well that's great. It should be www.lenovo.com/linux which redirects to https://support.lenovo.com/se/en/solutions/pd031426 which I planned to write first.
Why are you switching back to a macbook?
> Most businesses do not have tax and police authority and must face the market test on a daily basis.

they would if they could...

https://en.wikipedia.org/wiki/East_India_Company
Yes exactly that. I imagine vendor signing causes some issues there as well.
To be fair these days you come far by just installing ’lsp-mode’.
Leptitox Review 2020
Take your medicine from here ketodietsup@gmail.com
One thing is to make the keyboard shortcuts better.

Get rid of the ancient and archaic method of Ctrl-C to start a command chord. Reserve that for basic commands like copy and paste.

Instead, use the slash, Ctrl-/ to start a command chord. This way, you can use all the nifty shortcuts you want, and still not interfere with common commands.

Another feature is to use Ctrl-Spacebar to allow a search of command aliases.

Like, highlight your words, then hit Ctrl-Spacebar, then type “upper”, and it’ll do a dynamic search for all matches, and one of those matches is to make the selection uppercase.

This can be useful for all types of commands and personalized macros.

But then, the other problem for Emacs, is that Visual Studio Code is pretty damn good. And it also works on Linux. Its memory footprint is really high, taking about 85 MBs of RAM, but Emacs takes like 30 MBs, so it’s less than 3x more, for much better features. But, it’s not like I’m using a 20 year old laptop anymore.
Sorry to hear that :( There are two things we've tried to do to fix it:

1) Running Synapse really isn't that hard if you follow best practices... but I think we've done a bad job of communicating those best practices; instead Synapse's INSTALL.md lays out tonnes of different options and expects folks to pick their poison. I tried to fix this a few weeks ago by sitting down and recorded a dorky video to try to steer folks through best practices for setting up Synapse + certbot + Jitsi: https://matrix.org/blog/2020/04/06/running-your-own-secure-c.... (I need to extend it to coturn, but again, coturn should be straightforward. I don't think we should be baking TURN into Synapse though!). You could also shove everything in Docker and forget about it.

2) Peer-to-peer Matrix will let you get up and running without even needing a server. This is progressing alarmingly rapidly at the moment - https://p2p.riot.im is a version of Riot/Web which installs a homeserver (Dendrite) in your browser as a WASM service worker. It's alpha, but it mostly works pretty well, and is hopefully the shape of things to come - to let people have autonomy over their comms without ever needing to understand SSL, TURN, etc.
How to Install WireGuard in Docker