skysight-inc/HackerNews huggingface dataset:
Why don't we try living on the moon before attempting to live on Mars? The moon isn't any more hostile than Mars, but has the advantage it's only a few days away from Earth. You can go back and forth. We can learn about long-term consequences of living away from Earth. There are a lot of important minerals we can mine from the moon. We can start to work on creating feasible low-gravity manufacturing - which can spur other advances.

To me this whole "let's rush to Mars" without even having a moon base is just insane.
Are those relationships really trusting then? Or is it an optimized way that catches fraud before it is too bad while reducing the increased expense of avoiding fraud?

If you have to get all expenses approved before they are charged to the card, then it adds much more overhead and planning which decreases efficiency. The amount of fraud that happens by letting someone charge things and verifying it later ends up being a smaller expense than the amount of preplanning.

Similar with interviews. The amount of time wasted by interviews of someone who doesn't pass a background check is a small cost than the cost of doing interviews of everyone before doing a background check (not just the cost of the background check, but having a longer interview process leading to missing out on candidates and more candidates getting part the way through the process and dropping out because another place gave them an offer).

Imagine a father trying to "trust but verify" the paternity of their child. If there has to be verification, it will be taken as a lack of trust.
> [Regarding uploading a frozen brain into a digital consciousness] Regardless of who or what that ghost in the machine turned out to be, programming in a digital suicide option would likely be necessary – just in case the experience proved too overwhelming or oppressive. “I think they’d have to decide in advance what the escape hatch would be if it didn’t work out,” Callahan says. “Is it that the company is authorised to kill you, or are you left to do it yourself?”

Oh wow. Imagine the leverage a company would have if they were authorized to terminate you. "We are concerned about your repeated statements declaring we are oppressing you. If these continue we will interpret it at a sign you are suffering from extreme paranoia brought on by upload trauma and culture shock. Uploads that are maladapted are ultimately terminated for their own good. Now please, return to the assigned task."
Man, "outside of science" is doing a lot of work here. We also don't see quantum mechanics "outside of science," why would they also not be fundamental? The fact of the matter is that there are A LOT of things we can't explain without complex numbers or quantum mechanics, so people believe that they're fundamental. That's not weird.
> generating constituent response drafts and press documents;

Not too worried about that one since most responses are already automated

> summarizing large amounts of text in speeches;

Again, this seems fine.

> drafting policy papers or even bills;

Not terribly thrilled about this one but I don’t expect it to be able to draft actual legislation — my experience has been that ChatGPT doesn’t know actual legislation well and wouldn’t know how to modify current laws.

> creating new logos or graphical element for branded office resources and more

Fine with this one.

Only one of these is potentially problematic to me but there are also ways for them to use it to make better laws.
I don't the author really gave Ocaml a chance. He argues that every language needs to have interfaces. I agree somewhat with that statement, but I think the truer statement is to say that every language needs to have some way of defining composition at a structural level.

An interface allows you to pass different "structures" to the same function so long as they adhere to the same spec. In Ocaml this is accomplished through modules, functors, and module signatures. Ocaml's module signature can play the same exact role as interfaces in Haskell, Rust or F#.

The module system is arguably more expressive than what can be accomplished to interfaces. To give an example, Ocaml suffers from the same problem as rust does with having two standard implementations of a async runtime. Just like rusts: tokio and async-std, ocaml has Lwt, Async, (and newly added to the mix Eio).

Whereas in rust most libraries just implement one of these systems, and you'll have to use compiler directives to support both. Ocaml's module system means that you can describe the async runtime as a signature and make your entire library generic to the async runtime it runs on top of. Most of the well-used libraries do this, and so you don't have to worry too much about which runtime you decide to use.

Clearly, a language that can do that must have in some place a system that can replace interfaces.
Monkeys are smarter than we thought
Workflowy is what I have been using for almost a decade. I think the reason it works so well is because it is simple. Anti features are so powerful in an app like this otherwise you can spend all your time tweaking and coming up with the perfect system.
“Visual poetry” is an excellent phrase.
How much of that high value stuff will wind up in satellites? Cut the trip down the gravity well and just build in orbit, especially low value items that are expensive to launch but cheap to make.
Do any of them have something remotely close to Gtk or Qt's Grid/TreeView widgets? That's the one thing that pretty much 99% of the software I've worked on have needed at some point
Disagree. Mixing random style fixes in-between actual code just makes reading changelog more annoying. Sure, if you are refactoring some function put format changes with it but that's the most you should do.

If you want to make those:

* make it in separate bunch of commits
* make sure team uses tooling that will not allow new style problems to happen, like mandating certain formatter with certain settings before each commit. Most editors have hooks to do it automatically, and if they don't, Git have them too

It also makes git blame less useful althought it now have options to ignore moved code or whitespace changes so it isn't as much of a deal now.
I've come up with this simple bash function for a while already:
https://gist.github.com/kschiffer/912d95ca552112820d34f59ec6...

Just add it to your shell config (e.g. `.zshrc`) and use it like so: `$ killport 8080`
Agreed.

Counterpoint: Turning the important things into a checklist so you don't forget about them, and get them done quickly frees up time to live your life.
All ideas I come up with are made up of a library of existing ideas. It is impossible to come up with an idea without building material. So it helps to be on the lookout for new material. The form doesn't matter: books, knowledgeable people, nature, visuals, even fantasy.

But then, just like in architecture, there are ways of arranging the material. How to put together ideas, for various sorts of purposes? There are so many disciplines, so many fields of knowledge and human activity. It's dizzying. The key is to build up heuristics to create meaning, to create coherence, internally.

For learning to build internal coherence/structure, first, it is useful to learn about the fields that teach you to abstract: mathematics and philosophy, certain types of computing, etc. Listen to lectures from serious and dedicated researchers, pay attention to every word, extract different styles of thinking.

Once you build up the power of abstraction, sail through various existing disciplines, you'll be able to find things that others have missed. For instance, if you're a trained elite programmer/computing person, you can have new ways of looking at rock climbing or mountaineering.

In summary: new ideas, new structure/coherence = library of ideas + abstraction + analogies

I probably do other things as well, but this is what I'd start with.
It wouldn't even work with DSLRs, as barely any image taken is used without tuning parameters or retouching.

If a digital signature would stay valid after retouching, there's no value in having it in the first place. If the picture would be re-signed on editing, what's the purpose of that signature...?
How did you forcefully lucid dream?
You've gone up a degree for each example.

The inner product gives you a number and the "cross product" for vectors gives you another vector and is not the same thing as the outer product.

I think it's also not really correct to compare them like this, because complex numbers give you complex structure, whereas vectors don't. Yes, you get another dimension, but also a rich algebra, Cauchy-Riemann equations, etc.
That idea will come right back when one of their favorite services pulls the plug.
It would have to be a galaxy sized, smooth spherical wrinkle that happened to coincide with practically every galaxy. And also to fail to interact with other galaxies when they collide.

While we don't know the details of dark matter, we do know a lot of things about it. Putative explanations have to cover a lot of ground.
IPv6 subnets are supposed to be super cheap. As an individual, through a RIPE LIR, I was able to get a /44 (2^20 /64 subnets), no questions asked. I have these tunneled into my home lab and a couple other locations. I realize my setup is unusual: I have my own ASN and am running BGP.
GUI Development with Rust and FLTK
Hedonic adaptation's a b, but it did get us out of the caves.
Use of antibiotics in farming ‘endangering human immune system’
There's nothing in "modern" UI that cannot be done with Lazarus GUI Builder: Dynamic layouts? check,
anchors? check,
flexbox? check,
custom components? check
nested hierarchies of elements? HIDPI? check
Vector Graphics? check
Multiresolution? check
and so on.
All of them compiled to native (and looking native) on every platform under the sun.
As said before, GUI design peaked in the 90's
Anticipating the social consequences of a technology only requires understanding what that technology is capable of, not how it works. This author understands, correctly, that AI can generate realistic looking images and realistic sounding bullshit very cheaply. At that point, expertise in the social science becomes more relevant than expertise in engineering.
I really like XML a lot; I've gotten large numbers of people to use XML & XSLT, where I work. XML is dated, and it is gross. Here's the two things the XML ecosystem nailed, which tie me to it:

1. A dedicated tree-based transformation language (XSL); and,

2. Axis-queries (Xpath).

If I could Xpath all-the-things, I'd be a happier human. Although, I also feel like I should be able to SQL all-the-things, too. Maybe I'm just a sucker for structured-data query-languages?
Kind of like dragons destroy our notion of biology and natural selection, you mean.
how nice of you, dm sent.
> Space exploration is bad because it's unregulated.

> Who does Elon think he is?

Is this suppose to be a hit piece? I'm sure there was someone whining about Christopher Columbus as well, but discovering the americas was a pivotal moment in human history.
One thing I'm wishing for in Trello is the ability to add an icon to my Android home screen pointing directly to a specific checklist.
But, how would one handle positive and negative charge?
Only got under 10% twice in the last 3 years, mainly due to temp and headwinds having a bigger effect than I expected on a climb up to Tahoe. I moved from the Bay to Tahoe (where it was in a heated garage and mainly used my 4x4 during the winter) to San Diego currently so it’s been pretty babied. Granted I didn’t have charging at home in the bay, but was also careful not to leave it over night with less than 60% charge.

I think a lot of it has to do with luck of the draw, but most tend to loss 10% in the first year then hang out there losing a 1% or so each following year.
> Build something great and they will come.

Have you done this successfully yourself? You’re saying the opposite of what many people with startup experience recommend.

I found out why ‘build something great and they will come’ is usually not true, the hard way, by blowing my own savings along with other people’s investments doing it. Great products almost never go viral on their own, they need tons of iteration and feedback. Most developers who have a truly great idea, including yours truly, don’t understand that their great idea doesn’t appeal to most people, or like in my case that people like the idea but they each have 3 different things they consider much more important, and you can only find out which great ideas have mass appeal by talking to a lot of people.

Normally, the wise startup advice is to listen deeply to a lot of people, to not jump to implement exactly what they’re asking for, but hear more broadly what their problems are and what they need. The advice is not to stop listening and ignore them, and it is not to consider listening a waste of time, the advice is to listen first and then read between the lines.

‘Build it and they will come’ is practically an anti-meme in the startup world, you can find tons and tons of examples of this failing to work, and tons of examples of wise people with experience advising to get this idea out of your head ASAP.
RepoNut YT account around 2010-15 during market downruns is a good snapshot of repo man life. Only difficult repos involving black market data brokers geolocating the owner (~$100 at the time) paid couple of hundred dollars. Normal quick lift and tow payout was on the order of tens of dollars, people with secured parking lots got more money for holding cars than drivers for actually finding and grabbing them. GPS trackers were stating to be prevalent at the time, but mostly useless as people hid cars in metal trailers or were actively looking for and disabling tags.

Most difficult grabs were for cars kept out of spite or desperation.
I cannot. I've never needed them. Sorry.
That's always been my take too.

Like, ok, we get testable answers and they match experiments but also this is _so_ hacky and I can't shake the feeling that one day someone will come along and show that there's some reason why these bad assumptions work out fine. You know, like how "to find the Schwarzschild radius for a black hole of known mass, calculate the radius at which the escape velocity is equal to the speed of light" gives the correct answer even though the theory implied by this method is naive and wrong.
Implicit rules and pattern rules have the little issue with header dependencies that I can never get over with. It always feels like I can only choose simplicity or accuracy in incremental builds. I suppose -MMD is the way for C, though the way it pulls in system header checks always feels a bit too far.
This 2014 Fermilab post on why physicists are hopeful that dark matter has some kind of weak-force interaction is a good read:

https://www.fnal.gov/pub/today/archive/archive_2014/today14-...

> "So why would scientists postulate that dark matter experiences the weak force? One answer is that if it doesn't, we'll never detect it. But that's not a very good answer. A better answer involves the Higgs boson. Because the Higgs field gives mass to ordinary matter..."

Current status of the Higgs boson decaying to invisible particles is, no such evidence has yet been found (2020):

https://atlas.cern/updates/briefing/probing-dark-matter-higg...

This apparent failure (so far) of that hypothesis seems to have caused scientists in the field to cast around for other ideas, like primordial black holes:

https://news.yale.edu/2021/12/16/black-holes-and-dark-matter...
Qt has supported compilation to web for quite some time now
I am. I export my Notion to HTML regularly. I can do a plain text search on it.

I actually do regularly go back and search my notes and journals within Notion. Knowing that I will be able to do it if I ever leave Notion is comforting.

P.S. If anyone at Notion is reading this, please work on your search. It could be so much more useful.
Simple, really. Google is an ad company, while Apple isn't. I have no idea how Google analyses behavioural patterns etc, but it pleases me to think that perhaps I somewhat reduce the number of times I become a data point for them (same reason why I don't use their search).

c) Why don't you de-google an Android phone, plenty of OSs to choose from?

My bank app and national e-id won't work, or so I heard. Plus, I do enough tinkering with my xmonad config, emacs init file, and all that. Simply no energy or interest left to spend on mobile, which to me is relatively unimportant.
To do what exactly? Click send on the mass email?
I want to seperate the results for users.

How slow??? When I use it loads in 1 second or less.

I will change the last one soon. I will soon offer SearcheAI, an AI summarizer of current websites to answer your question appropriately, perhaps in a couple of weeks. NOT USING GPT!!!
My understanding is that time is a human construct, because we evolved to recognize past, present and future, and we try to measure everything relative to it. Then, some say only _now_ exists, therefore time doesn't. My understanding is that society needs time, and if you fully need society for everything, you need to abide by the clock 100%, therefore you're screwed because you're something else than just a machine. If you need a 30 min reminder about that, you may want to explore parts of you that appeal to your wild side, and try to balance your act.
The toilet always gets brought up in these conversations. For example, the toilet in almost every restaurant is substantially cleaner than any surface you eat on. It's made of ceramic and doused in bleach (and other cleaners) on a regular basis, so it comes as no surprise that it is cleaner.

Comparing to the toilet is a fallacy because of this and the fact that no one I know defecates on their laptop.
IMO there is nothing “natural” in interpreting complex numbers as a vector. The fact you get a thing out of them that looks a lot like a vector is one of the stupefying ‘mysteries’ of math which make the discipline so cool.

Complex numbers afaik began as an attempt to solve polynomial equations. They begin from the agreement to invent a number i whose square is -1 so you can solve equations having sqrt(-1) in them.

The jump from sqrt(-1) to plane rotations is to my feeble mind one of the most flabbergastingly unintuitive things in ‘basic’ maths. “A rotation you say? Who ordered that!?”
Opera One is a browser designed for generative AI features
I have 1100+ but I suspect many are "dead" or otherwise invalid/not needed, but there's never a reason to remove them (this is likely a source of metadata leaking someday, somehow, as it may indicate if you once had an account, etc).
After reviewing this account's comment history I would hesitate to consider it a troll or meme account, but it's difficult to believe someone could be this confused.

"I compared them and you were very wrong. " was not written be me, MichaelZuo.

I would recommend stepping away from the computer if your genuinely unsure.
I've never seen the appeal of those "write your UI in a different language than the logic and deal with the interference layer" style of GUI development. But I also think that UI builders tend to produce bad code and ugly layouts when you go beyond CRUD apps that would have been easy to write in the declarative style anyway.
Pr's are not bad. But using them to solve things that should be solved other things like catching bugs and enforcing style guides is bad.

If doing a pr takes longer than 5 minutes in general then consider if you are relying too much on pr's.
real things heating up and down (i.e not an idealized particle but a thing with volume), the motion of a pendulum, electricity flowing through basically anything (same as heating, when you consider actual volume), these are a few of the things I have worked with where I literally have no option but to use imaginary numbers to model them.

Modelling here means predicting what a change would do, for example if I want to make a robot that can balance a stick upright on its hand like you might do with a broom, I use maths related to pendulums to predict the movement of the stick, which require imaginary numbers to show how moving in a certain direction will cause the pendulum to fall (in what direction & how fast). I must emphasise here that I have done these things with real robots, and they do indeed heat/electricity flows/balance as the maths predicts.

Does this imply your brain is doing the same maths, imaginary numbers and all, when you balance a broom on your hand? Is there an alternate mathematical notation that doesn't include such strange unintuitive things? probably, thats for the mathematicians to figure out. But as an engineer, they definately do work.
Also it does not matter that a person is loyal, loyal ones can be fired too.
I don't use any checklist or notebook or anything. I just know what I need to do and do it.
> For now, there is no choice but to adapt to the ever-changing unwritten rules of text-speak—unless you want to risk being called a “boomer” online by a bunch of faceless teenagers.

Oh, the horror.
Yeah, agreed, we should change human psychology to fit our current technological stack better, that sounds way easier than doing the opposite.

On a serious note, I do hope that built-in help systems with ChatGPT glued on (and additionally trained on its contents) will become a de-facto standard in the near future: it should be possible to just ask your computing environment "how do I do X with you?" and get an answer or at least some guidance pointers.
Something similar applies to Costco gas pumps: if you have a Costco Visa you can tap it once and it will both validate your membership (which is required to use the pump) and bill the charge to the card. Apple Pay doesn’t work because the membership isn’t associated with it.
Bed Bath and Beyond files for bankruptcy
And yet, you, I and many others read this mainly because it's about Musk and Twitter.

One thing that's been shown is how addicted so many are to Twitter. For the sufficiently entertaining tweeters, Subscriptions seems to monetize that, and Elon does reel them in.
It's not casually purchasable in that manner. The industry has a certain level of gatekeeping and obfuscation in order to avoid people clearly understanding what's going on.
Who manipulates the past in the eyes of the masses controls the future of these masses. So it has always been and so it will be. Only now it's much easier.

And nothing else happened for the most part. Just another new technique for "hyper retouching" and fake reality generating.

Authentication and stuff won't help because it's a mass "unique product" for mass consumption, no matter how strange it sounds.
That's a good option. It's easy to make a library in Rust that exports a C linkage, and it's easy to link a C library in most languages. Some languages have richer linkages to Rust (for example Python).

A similar option would be to use the native UI with a Rust binding -- for example cacao on MacOS.

The advantage of this approach is if your whole team knows Rust they can help with patching and maintenance. It doesn't help at the beginning because presumably the person who knows AppKit also knows ObjectiveC and/or Swift. But once the UI is created a single code base is an advantage for maintenance.
LastPass has had at least one major public fuckup where they not only made a mistake, but they did not handle the mistake well.

1Password has not yet had that, they've made some missteps, but have handled it relatively well (based on my experience, and that I still use them).
That is the Rust stability commitment: Rust code will always* compile with any subsequent release.

* Modulo soundness bugs being fixed. I've personally encountered 2 instances of that since 1.0, and they all occurred before 2017.
So where is all of the money going? Insurance premiums?