skysight-inc/HackerNews huggingface dataset:
parallel construction?
Critique of systemd v256's SSH-via-AF_VSOCK
Why did you choose to run PG on ZFS? DBs on CoW FS aren't usually ideal.
Even from a designing a chip for ordinance perspective, there's a lot of meat on the bone to make chips just that much more accurate and that much less susceptible to interference. And making those more and more reliable, cheaper, and smaller is also a big deal.

Stuff like this wasn't realistic from systems made in the 90s or even 00's.

https://youtu.be/vY9rJBL1S2Y?si=Dq1QJp90Up6UKLaQ
> so it's possible that part of the site was reused for the offloading facility.

Quite likely, there's a fair chance that large items for the power plant (like the steam turbines) were brought in by the river in the first place.
In general this is such a good way to assess & browse & evaluate people. Trying to figure out who to follow & who is definitely not someone to follow gets much much harder when the like-feed goes dark.

Try as people might to defend this anti-networking anti-feature I just don't see it. It's an ok option for some I guess, sure, but tearing up your network unilaterally to create a safer space really just sends us into an even darker forest.
See levels.fyi. The pay levels for FAANG companies are fairly accurate. But you'd have to be something like L7/E7 level at a Meta/Google to break $1M.

Also note that some comp numbers get heavily inflated by people incorporating stock value increasing between the equity was first issued and the stock actually vested.
From "PROBLEMS OF PRZEWALSKI HORSE REINTRODUCTION INTO THE WILD":

> A sample of 20–30 founders will normally contain well over 90% of the average genetic diversity in the source population

https://www.fao.org/4/AC148E/AC148E03.htm
Because we aren't a business :)

We are academic group who is looking to increase collaboration both in industry and academia. While we have "products" (which we don't sell), we also have other initiatives like an education program. We also may want to set up a consortium with industry, which may include them giving us money, but not in a "buy a product or service" sense (but still needs to be thoroughly tracked).

So I'd really like a platform that holistically tracks people and our engagement with them. Some of this is done by traditional CRM, but the focus on selling products & services is too narrow.

Some desired features:

* Tracking our contacts, so we don't forget to follow through on something (CRM generally does this)

* Tracking people through time. If/Where they did their PhD, postdoc, are they in industry now. CRM I've looked at tend to be very fixed-point in time.

* What their research interests are and have been. Are they in an area we are looking to expand into? What conferences do they typically go to?

* How they have engaged with us before. Was it through an educational workshop? Did we mentor them in a mentorship program? Just someone we met sometime and seemed interested? People can be part of multiple groups.

* If they are using our projects, how are they using them? We are looking for good stories to give to our own funding agencies (and for general marketing).

* If they are interested in giving us money, what is the status of those talks?

If there's a better term for software that does this kind of thing, I'm very open to ideas. This isn't a strength in academia, as is pretty obvious, and I'm very new at this :)
A bogus driving myth doomed NYC to more bad traffic
Technically, the Russian military didn’t make any mistakes in designing or building that ship since it was inherited from the Soviet Union. Although make the mistake was having it still in operation…
The Swift compiler is slow due to how types are inferred
yeah they do the same thing with humans. except human journalists give you a false sense of security if it's parroted by NYTimes' Judith Miller (or 1000s of other examples)
Would love to chat with one of the founders. Can you send me an email? (profile)
> They are not "living in the past". Imagine two gears, one smaller and one larger. The smaller makes more iterations. The gears in the larger aren't rotating in the past, they are merely turning more slowly.

I understand how reference frames work, and my point is your explanation falls apart if instantaneous communication is possible, because instantaneous communication breaks the entire idea of reference frames.

It doesn't make any sense to instantly send information from one reference frame to another. The entire concept just... like it isn't even a thing that can happen because it literally makes no sense.

Shove a ship into space with a magic instantaneous entangled data transmitter that is paired to one on Earth. Have the ship go really fast then land back a few hundred years in the earth's future compared to when it took off. If that ship uses its transmitter, information would be sent "back in time" on Earth, and that makes no bloody sense.

And I say magic entangled transmitter because it breaks all the laws of physics and common sense!

Information cannot travel instantly, reality falls to pieces if it does. There are circumstances we can come up with where random noise can travel faster than light, but that is the extent of it.

> It would be impossible for me to persuade you without a wall of text.

> (Everything you've regurgitated has been popularly conjectured for decades, I could have gotten your reply from Universe in a Nutshell or some similar pop sci anology.)

The strange part here is you are seemingly well read on the topic but you believe entangled particles can communications faster than light!
I'm very glad that – despite the highly reductive and provocative nature of that article – the voter turnout was the highest it has been in the last five elections.[1]

[1] https://results.elections.europa.eu/en/turnout/
Our military and standing as a super power has been in decline for a while now. I don't think we really have the military superiority or ability to just simply invade countries any more. With China, Russia and Iran aligning against us both economically and militarily, I don't see much of what you're talking about happening.

Russia annexed Crimea and we did nothing. Russia invaded Ukraine and besides sending billions in aid, we haven't done anything militarily. The attacks against Israel went unprovoked and we've got all we can handle with the anti-Israeli protests going on here on our own soil - let alone trying to send troops to any of these hotspots. China has been sabre rattling about taking over Taiwan and all we can manage at this point are sternly worded memos. Add in the amount of conflict going on in Africa that nobody seems to want to deal with either. All the while China has steadily moved economically in on Africa and has essentially pushed us out of the country altogether.

What you're saying in 2024? I don't see the US has the capabilities to do that any more.
Why wouldn’t they? Of course it will be COMPLETELY monitored. Anything interesting happens, the AI will compile a report to be looked over by an agent.
Why is the election of “far right” representatives undemocratic? This idea that people who vote for the “wrong” (read: not left or far left Socialism or Communism) are somehow a threat to democracy is ridiculous. Democracy is people voting for what they want — not voting in a way that is necessarily ideologically compatible with the chattering classes.
> The cost per foot of construction

That's why I specifically said that a per-unit cost is lower in cities. But units tend to become smaller and smaller over time.

> Taking only construction costs into account, when land is cheap, single family homes make the most financial sense, and dense housing doesn't make sense.

Absolutely.
TBH all your contacts who use WhatsApp already uploaded your name and number combination to Zuck's server...

A data protection consultant once told me in theory I can sue my friends for violating my data privacy by doing that...
FWIW I've never actually seen anyone using any of these except ZTE (I'm in northeastern US).
Does Lean work with linear slgebra proofs ?
I don't know, maybe? All those sound plausible but then you have to try and justify each of them with some kind of evidence of some sort, otherwise you're just playing the guessing game.

Now, I don't like guessing. When Russia entered negotiations the war was clearly not going its way, so the obvious explanation is that Putin wanted to disentangle from it with the least damage to his image as possible.

The question is why the negotiations failed, if they were really as advanced as suggested in the articles I linked above. Since the name of Boris Johnson has been brought up (in the context of being one of the Western representatives that told Zelenskiy to drop the deal) I tend to believe that a peace deal failed because at least one side in the negotiations was incompetent fools who should have never made it in power. That the other side is probably the same makes no difference.
TNG has several species like the Q that have evolved to godlike abilities and there are episodes where a humanoid undergoes the final stage of physical evolution and then ascends to a higher plane of existence (becomes something like the Q). Star Trek Picard (relatively new show) had a lot about exploring internal conflict and I think even in TNG one of the final episodes has Q tell Picard that the final frontier is internal and doesn't involve mapping out stellar nebulae.

Other shows like Stargate also have the concept of "ascension" as a pivotal plot point of many episodes. Farscape covers this as well in several episodes. Things like mind melds and mind reading are pretty common in these shows once someone ascends.

There is a lot of "woo" in science fiction as it is kind of hard to still believe in gross limitations for us over a cosmic scale of thousands of millions of years. Assuming we don't die out, I'd believe our ultimate potential is unfathomable to us now.
Makes me laugh. When I got my first computer in 1987 it took so long to load a small game from cassette that I could go downstairs, boil a kettle, make a cuppa, and bring it back to my room, and the game would be just about finished loading. Now people are moaning about an extra half a second lol

How things change.
The vast majority of startup success is luck...

There are literally thousands of people going from L5-L7 at the major tech companies per founder successfully exiting a >$100M company.
Did you guys have to make any considerations at construction time to make exhaustive cycling less of an issue? From what the blog post says it seems that the streaming innovations are mostly at query time but i want to make sure i understand correctly. Thanks and impressive work here!
Parapsychology is what you're looking for.
> people who use or contribute to lean

And do they get tenure- or funding-able output of it, or is it more of a side-hobby?
As an engineer it's much easier to "polish" (or work on useless stuff) than to deliver real products. I see that all the time, specially with "platform" teams that have no external product requirements. They waste a lot of time trying to figure out the most amazing way to deliver something instead of delivering something in a timely fashion.

If you push in any way they start to scream "tech debt" and everyone just accepts it. I've been through a migration mandated by an infrastructure team where where were 0 improvements for the teams that used the platform, all benefits were for the platform team only, and this was green-lighted and forced upon everyone without a second thought. It's unbelievable.
How difficult is it to roll your own CRM these days? On the surface it doesn't seem that difficult.
Dissecting the past to predict the future: Tracy Young on building TigerEye
more information on these machines and their typefaces, including pictures of the machines and brochures and catalogs: http://gorton-machine.org
You said 1 or 2 people who aren't executives. There's way more than 1-2 E7s at Meta, as an example.
I agree, I also think empathy provides the clairvoyance capabilities of the force.
Looks like the Mad Max Fury Road caravan
No, I returned it. Kinda regretted it, so I picked up a Meta Quest 3 to scratch the VR itch. I use it for watching youtube while I do dishes and laundry. Sometimes I play golf for relaxation or beat saber. I really wish there was an easy way to put the older 3d blu-ray movies on the device to watch movies, because immersive movies are really the next level for entertainment.
I preferred doing large problem sets in math class because that is the only way I felt like I could gain an innate understanding of the math.

For example after doing several hundred logarithms, I was eventually able to do logs to 2 decimal places in my head. (Sadly I cannot do that anymore!) I imagine if I had just done a dozen or so problems I would not have gained that ability.
The punchline is "from many location to any location". They're not saying they can launch from any location. What it likely means is they can offer towing for a broken satellite back to any secret hangars in Nevada, and deposit returned for intact tow vehicles.

I do wonder what it is even possibly useful for. Asset transport from orbit sounds sci-fi.
I completely disagree, the EU is an imperfect project, but it is also a work in progress. If european nations want to compete with the rest of the world they have to pool their ressources and act as a block, and the EU is the only shot we have. We can be critical of the project but we must also support it
Alternative source: https://www.theregister.com/2024/06/12/mistral_ai_funding/
Don’t confuse the vocal, insufferable minority with the silent majority (who either doesn’t care, mildly enjoys, or embraces AI features)
One can't buy fresh produce in my region of the world for the better part of a year (9-10 months) because of harsh climate combined with long distances from the ocean and major railroads, and we have almost no fat people at all. Vegetables and fruit are sold even in the middle of winter, but they're extremely expensive, more so than meat.
While you may be right, it’s just a ‘may’ and kinda fits in with the narrative our Western Governments want its citizens to think like. It’s just all propaganda right now, take it all with a shake of salt until there’s evidence.
Utah Sues TikTok, Alleging TikTok Live Is 'A Virtual Strip Club' for Minors
You might also like the Lewis Chessmen 3D scans: https://sketchfab.com/britishmuseum/collections/lewis-chessm...
> When I switched to iOS, that experience gave me a special appreciation for how smoothly iMessage/Messages works.

But that's selective recall too - for YEARS iMessage was horrible. You had an iOS device but no longer? Good luck getting any of your friends messages who were still on iOS.

Apple ended up having to build a portal just to allow users to properly de-register their numbers from iMessage so they could receive messages from Apple users again.
> Despite all that, the European Parliament doesn’t possess the one power that is the lifeblood of any real legislature: the power to legislate. Proposing laws is the sole privilege of the European Commission.

Maybe my understanding is lacking, but the European Commission proposes the laws, then the European Parliament together with the Council of the European Union adopts said legislation, isn't that legislative power?

Then of course they don't have the power to automatically assign those laws in member states, it's up to each member state to adopt these laws in a reasonable time-frame.

It also controls the EU budget, meaning more power. I cannot find any mentions of "budget" at all in the article.

At a glance, the article reads like a ill-researched hit piece from someone who doesn't fully understand what they're writing about.
There's no comprehensive answer that's going to fit in this textbox but: For self-driving cars, it arises from (a) there are 30k American deaths per year from normal cars, (b) the number of deaths from self-driving cars is negligible (a few per year if you include Teslas, and zero per year if you focus on the best technology from Waymo and Cruise), and (c) everything we know about R&D points to significant acceleration possible by testing and iterating more at larger scale. For pharmaceuticals, it's a longer answer but it still starts by comparing the deaths caused by the marginal approved drug (relatively few) to the long-term benefits of trying out more drugs (high). The root cause, ultimately, is that the regulatory agency gets blamed for every death caused by something they allow but do not get blamed for deaths from the absence of things that were not allowed.
oh, and here's an article that links 'gorton normal' to many keyboard fonts including the apollo DSKY keyboard: https://newsletter.shifthappens.site/archive/a-tale-of-three...
Um, are you OK?
Sanctions apply both ways, one side more than the other.

policy makers pretend the intended side suffers most. Or do they still believe that?
GPT != AI. GPT is a subset of AI. GPT is probably absolutely useless for high-level math, if for no other reason that to be useful you'd need training data that basically by definition doesn't exist. Though I am also strongly inclined to believe that LLMs are constitutionally incapable of functioning at that level of math regardless, because that's simply not what they are designed to do.

But AI doesn't have to mean LLMs, recent narrowing of the term's meaning notwithstanding. There's all kinds of ways AIs in the more general sense could assist with proof writing in a proof language, and do it in a way that each step is still sound and reliable.

In fact once you accept you're working in a proof language like lean, the LLM part of the problem goes away. The AIs can work directly on such a language, the problems LLMs solve simply aren't present. There's no need to understand a high-context, fuzzy-grammar, background-laden set of symbols anymore. Also no problem with the AI "explaining" its thinking. We might still not be able to follow too large an explanation, but it would certainly be present even so, in a way that neural nets don't necessarily have one.
But too the OPs point. This is not a technology that should be included by default. No matter how cool.

Saying this as a die hard Elixir fan who's been using it since 2015.
sure. I've been meaning to do a comparison of aqua and dragon. I'll do one of co-pilot and gpt-whatever. give me 6 months or so, I've got marketing to do. :-)
Ask HN: Do you have a visual note taking app you enjoy?
Have you found a visual note taking app that you actually enjoy using?

There are a ton of tools like Notion, Obsidian, Logseq, etc. that are all focused on primarily text/document first.

I've been spending a lot of time doing both design work and doing more creative/artistic fun stuff, but I also do a lot of reading and note taking and am hoping to find a tool that can bring all of this into one tool.

There are a lot of visual infinite canvas type tools like Miro, Milanote, Muse, etc. that are great for dumping images, doodling on the canvas, and organizing things however you want.

And there seem to be some tools somewhere in the middle, like Scrintal (terrible name lol) and Heptabase. There are some others, though they seem fairly anemic in terms of features and are more just another notion-like tool but you can put the notes on a canvas.

I guess the short of it is that I don't know exactly what I'm looking for and I'm hoping that some others here have found a nice solution for their own note taking/knowledge dumping which works in a visual way.
Liking Elon Musk posts, for example, would warrant grandparent calling them a "Nazi".
The end of miniaturization I can believe. But the end of performance, I'm not so sure.
In my 20s I joined a couple startups as "early engineer" or "founding engineer".

I quickly realized those are the absolute worst positions to be in. You take almost as much risk as the founders but almost none of the upside. One startup died, the other one sold for 100m$. Out of that I saw 400k$ as an exit. Not too bad but even with that exit I ended up making way less than if I joined a FAANG. In both cases the founders made millions (through the exit or through liquidity)

Now I'm a realist. Either you create/found a startup or it's not worth joining one as an employee. You have way more upside at a FAANG/pre-IPO mid-life startup that already found a great product market fit.

Essentially, founders are pushing a crazy narrative of Startups being worth it to early employees because they need them. It was sometimes fun but I wish I just joined a FAANG like most of my friends, I would have a couple millions by now if I did.
TLDR; they couldn't raise enough money to scale and keep going
Original thread start - Pottering on the feature in systemd v256:

https://mastodon.social/@pid_eins/112411218075942131
technology appreciation re-wording. warning- pro-piety

The wide variety of life forms on planet earth is nothing short of remarkable. As much as our life experiences today are incredible, our human view alone just doesn’t match the natural world in terms of variety of ways to be alive. Evolution of innumerable species that evolve together over billions of years is a continuous miracle that no science has any complete explanation of -- truly remarkable and humbling. I think it would do a lot of technologists good to contemplate humility as one of many living beings in the natural world
In this case, a language that doesn't support automatic numeric type conversions. For instance, in Swift, 1 / FRAMERATE would give you integer division if FRAMERATE was an Int, or Double/Float division if FRAMERATE was a float, as the 1 literal would be inferred to a compatible type for / if one existed. You would never see Int / Float, or an implicit conversion between numeric types.
In the same sense that a Bluetooth headset is transmitting information to the brain?

I assume people mean without going through one of the existing senses, although I wonder if it would really feel like telepathy. If you suddenly had a sense for magnetism would that just feel like a new addition to your ordinary senses, for instance?
Those contracts were happening pre-Space Force. Space Force's mission existed inside USAF (specifically, but other services and TLAs as well) prior to USSF being created.
Lately I come back to posh [1] a modular and very simple (maybe even barebones) shell language. There is not much to it really, but the simplicity is a starting point for me. It gives me a bit execline [2] vibes.

[1] https://github.com/mikebolt/posh

[2] https://skarnet.org/software/execline/
Democracy is people voting for what they want, sure. But that doesn't mean certain votes cannot be undemocratic. Plenty of dictators and all-in-all Really Bad People have come to power in completely democratic ways.

Abusing the system is also common: Democracy doesn't mean "immune to abuse". For example, say if I'm a dictator in a particular country that benefits immensely from throwing wrenches into democracy in Europe, I might want to spend a lot of money on intelligence attacks in Europe to push completely democratic propaganda for parties that benefit me.

And "democracy" doesn't make you immune to propaganda.
Did you ever look into KeePass? The solution you're looking for already sort of exists, several more than decent apps which offer lifetime one-time purchases. Not sure what else to tell you. Keychain/"Passwords" is way too obfuscated and user-unfriendly and hostile to data portabillity to the extent I could never trust or rely on it.
Better hope it doesn't introduce any hallucinations, otherwise customers will get even more ~~angry~~ calm
The article even forgot to mention that EU "laws" still need to be ratified by each country's parliament, which makes the EU parliament's power even more moot.
Reputation is a thing. You might need investors in your next startup.