skysight-inc/HackerNews huggingface dataset:
This language looks super promising. With the exceptions of 'no type inference' and 'no arithmetic precedence', I really like its anti-features list.

With regard to 'no arithmetic precedence', I tried

printLn((1 + 2) + 3);

and

printLn(1 + 2 + 3);

Sure enough, the first one compiles, but the second doesn't.

Also, (n-1) is a parse error unless you put a space after the minus.

I got curious if recursion was properly handled, given it wasn't in the anti-features list, but no luck:

module body Foo is

function go(acc: Nat64, n: Nat64): Nat64 is
if n = 0 then
return acc;
else
return go(acc + n, n - 1);
end if;
end;

function main(): ExitCode is
printLn(go(0, 135000));
return ExitSuccess();
end;

end module body.

yields

Segmentation fault (core dumped)
> Our efforts are better invested in adjusting to these inevitable changes.

Of course. If those changes would happen in a timeframe spanning hundreds of centuries we could dedicate some effort to progressively adapt to them, when it looms to violently happen upon us in the next 50-100 years and it's known it could've been partially avoided I don't think we can just magically wave it away to "it will eventually be solved technologically". It might as well not be, that's the scary part.
For news websites, what about having them randomly rearrange among themselves for each search?

For example, if the top three results for a news story come from CNN, MSNBC, Fox News, the next search would display MSNBC, Fox News, CNN.

Anyways, 4+ year user of DDG and still love it!
Having used and witnessed some of the upbringing of these markers I highly recommend their use where applicable.

Quantitative work — finance being the obvious but not unique example — often suffer intensely from data-clutter, sometimes to the point of paralysis.

A visual approach is a great solution, this however requires some design, taste, and some "fat tony" intuition (I think programmers often aren't as good as they think they are at charting because the data is just a number to them) — one should take the time to design some beautiful, simple conventions & symbols; that's exactly what these are.

To quote Marco Pierre White: Genius is knowing how to let things be simple.
I haven't looked it up, but I'm sure the magnitude of thermal cycling in a battery is way less than in a combustion engine.
>> Kagi seems to work pretty well.

free for 100 searches.
$5/month for 300 searches
$10/month for 1,000 searches

I'm not at the point where I feel DDG and Bing are so bad I want to start paying to get better search results. I'd be interested to see how many people are there though.
These are mentioned in the article (“gum trees”):

> Maybe the ruins of a city will be denoted by the descendants of trees planted for shade: pin oaks, gum trees, sycamores.
If someone wrote a work of fan fiction of someone's experience at Twitter over the past year I believe it would read exactly like this epilogue.
Depot raises $1.8M seed round
Neat. I wonder if we'll somehow reach the point where sqlite isn't really "lite" anymore, but I'm actually not complaining. If it keeps the stability and self-containment (in multiple ways, e.g. you don't need any sqlite components outside your application, where sqlite is just linked in) up, I continue to be happy. And if that works even with fast concurrency and fine-granular locking, great...
Namibian fairy circle debate rages on: Sand termites or Turing mechanism?
It has nothing to do with competence, although I doubt any is needed to move plates 10ft around. Do you tip your barista if he/she wasn’t rude, or better, do you tip your self-checkout machine for doing “its job” -although you are still doing it? [1] Tipping is only a North American culture that unfortunately is being exploited by greedy owners to shoulder costs on the customers who are already paying an overpriced fees, taxes, and even for the goods itself.

I wouldn’t be surprised if few years laters when the whole process is automated, you would still see a tipping option..

[1] https://nypost.com/2023/05/15/self-checkout-machines-now-ask...

https://www.independent.co.uk/news/world/americas/american-t...

https://gizmodo.com/tipping-self-check-out-1850419084
I'm having a hard time to believe that anyone remotely interested in Tarsnap's value prop is also an "uninformed mom-and-pop".

This "uninformed mom-and-pop" is potentially compiling the client application from source, but can't do basic math to compare tarsnap's pricing to the top 20 or so competitors that rank above tarsnap in SEO?
Unpacking Xilinx 7-Series Bitstreams (2018)
There's been a one-brick-thick wavy wall off a busy road in Cambridge for at least fifty years: https://goo.gl/maps/sxTsPW71F317gwK88

It kept getting hit by cars until they finally installed a guard rail.
Wow, I gotta be honest it might be worth $5/mo to never accidentally get sent to Pinterest ever again
It isn't a US-centric requirement, which the headline suggests.

I don't think it's surprising that a radio network that serves Americans and is paid for by Americans in part with American taxes should tailor its story for an American audience.

Do you also complain that the BBC is too British?
Seems like a really useful tool. Would your system support Postgres Aurora on AWS as a source database? Or does it require some lower-level access to Postgres server?

We are currently using DMS to send data to S3 and from there to Snowflake.
https://archive.is/Y0gVJ
Good to know, thanks. Had no clue.
And that's why we need a diverse ecosystem of search engines. As indexing whole internet is pretty much impossible, maybe several startups could take a slice of it? Some overlap would be useful too.
Billionaire-funded group reshaping conservation with free market fundamentalism
Thank you for the update. I appreciate your considerate answers and time spent here.
It only makes it pointless for DRM purposes.

If a company wants control over devices they own, that's still fine.
Predictable by whom? I’ll tag you in 30 years when nothing of significance has happened.
>which is just that gay marriage shouldn't be legal.

Which cannot be done without explicitly preventing gay people from having certain basic rights. It flies directly in the face of equality for all. "These two consenting adults are not allowed to do what nearly all consenting adults are allowed to do" is expressly treating them as second class citizens. You can't get around that.
Measuring the Risk Password Reuse Poses for a University
UChicago‘s IT Security and Identity Management teams have a record of every password used by university affiliates over the past twenty years. When we learned about this unique data source, we realized how valuable it could be for gaining insight into the longitudinal aspects of reused and compromised credentials.
Thanks for the feedback! Many dev-tools and infra products, specifically in the Postgres space are open source. Citus (my previous gig) is an example here. Customers still pay for these products because of 2 main reasons a/ operationalizing an open source tool to support production workloads requires good amount effort - ex: setting up HA, advance metrics/monitoring etc. and they want to offload it to by buying a paid offering that is more plug and play b/ they want to work with a team which can empathize with their challenges, are experts in the area and helps make them successful. With PeerDB, we are expecting something similar and are committed to make our customers successful.

On the pricing side, valid feedback. We are actively working with customers and are coming up with custom (reasonable) pricing based on their use-case and usage level of product. Through this process we are getting a ton of feedback. As mentioned in the post, a common concern we heard from customers is that the existing tools are expensive (pricing is black box) - they charge based on the amount data-transferred. We are thinking of ways to make pricing more transparent (see post on what our thinking has been so far). But haven't landed on the right strategy yet. We didn't want to rush through publishing any pricing.
> Naively, I assumed that it must take more power to transmit than to receive, which is true on an instantaneous basis, but false on an average basis.

Even that is not necessarily always the case in low-power systems, since often receive amplifiers need to be run at a fairly high current to achieve a low noise floor, and power saving tricks like envelope tracking power supplies are harder to implement on the receive side.

For example, I've seen several Bluetooth LE radios where the instantaneous supply current is higher during receive than during transmit.
People like to list technologies it would improve, like power transmission or MRIs, but I think it will be hard to predict what technologies are completely enabled by this, such as potentially fusion or quantum computing or things I don't even know about yet.
Jury duty is one off, and often compensated. It also isn't clearly undesirable - it's a lottery for different reasons.

What would you do in the scenario described for people who refuse any undesirable work?
No. Because you only notice a font when it 'gets in your way'. In other words a 'good' font will be below the 'noticing' threshold, and you absorb the words without hindrance.

On the other hand, it's your website and if you want to spend six hundred-odd dollars on artistic ambience for your own enjoyment, go right ahead. "It's your money, Ralph."
Given how Twitter doesn't allow you to see anything without an account now, this link is essentially useless. It's just someone stating a contextless opinion, which is guess is what the original Twitter was.
Basically it's the AHAH microformat idea from back in the day. https://microformats.org/wiki/rest/ahah
I looked earlier for it and didn’t see the video. Maybe she added it later or it didn’t load initially on my iPad?

Doesn’t really matter if it’s in the Medium post or the Twitter post, the video is worth watching/listening to.

Also logging in is apparently not a barrier to seeing Twitter now, at least through a direct link. I originally followed a TechMeme link and just double-checked, I’m not logged in anywhere.
I don't intend to reduce Europe's summer to Greek wildfires, in fact quite the opposite, I want to point out that they are a bad example because their causes are still being investigated.

Rhodes's firefighters also suspect arson ( https://greekreporter.com/2023/07/26/wildfires-arson-greece/ ) and arrests have been made on Kefalonia ( https://greekcitytimes.com/2023/07/25/kefalonia-two-arrests-... ).
Forms and tooling for composites are a big one in the aerospace world. Keeps dimensional stability better through autoclave cycles.
I'm aware - pretty sure they did chart the trip in autopilot though from my reading. Telling the autopilot system you are headed to a supercharger also starts pre-warming the battery.
Vivaldi is even worse for privacy (and it's not even fully open source). You're better off just using Chrome.

https://privacytests.org/
Atlassian has this policy for 3rd-party developers too. It feels pretty reasonable, to be honest. Developers still get to advertise against phrases relevant to their niche (and I have to imagine the keyword “shopify” would be a poor performer anyway unless you’re building a shopify competitor).
I've heard Framer can make some impressive animations, but I don't know much about how well they export to web. What's on display here is really cool, it's all animated SVG.
Isn't the chat version of llama 2 trained on gpt-4 output, hence it's non-commercial license (as opposed to the base model) or am I just making things up?
That issue bit me with a dockerized mysql db. I think because I was not familiar with `ufw` at the time that after I set it up I tested to ensure you couldn't get to the db.

Surprise enused.
And their search engine is actually pretty good
Seems like they sat on it for 24 years!!

The 99 refers to 1999.
A dinky little but long standing staple of it's topic bitchin100.com had the same problem for some years but I guess the community was small enough and traditional enough that not enough people were using anything but google to notice except me.

They eventually got it fixed but only after a few other people finally noticed and the owner contacted someone and then waited a week or so. But it was like that for years. You search a perfectly good search term that should pull up one of the articles on that site first, and all you got are all kinds of other 2nd and 3rd hand references like email archive posts and articles on other sites, but scroll down as many pages as you want and the actual site would never come up on ddg.

That's when I got interested in Kagi.
How dare someone expect more from their fellow citizens than "shamelessly and with zero morals make as much money as I can through any means". What's with HNs wants so bad to be free from judgement for doing business that can hurt people.
Make your workflow easier to reference material and you will naturally memorize it. Take notes, and do it haphazardly. If you think you'll need something later, tag it and throw it in your notes. Just work on something fun. Try out exciting things. Get medicated. Try body doubling on Focusmate. Work and talk to people that can give you instant feedback and instructions. Make your workflow natural and zen, that includes your desktop and tools. Be curious and edevelopments. Have people to work with and build for. Try harnessing accountability. Get paid for your work. Set short deadlines. Gain a fundamental understanding of how computers work. Journal about you're doing. When you're writing a lengthy forum post asking for help you'll probably figure out the solution before pressing post.
For people who don't like staring at blank pages: https://nitter.net/alexkaplan0/status/1684642852616192000
https://archive.is/UnIxp
> but it's not like it doesn't have it's own weird junk like BAT

Turned off by default.
https://ibb.co/m6XqdWg

Forgot our pic. Without seeing our application, there is no context. So it makes it all the more fun to see if this goes anywhere. Thanks for the moonshot, hope you have fun and bring the world some hope.
That was sarcasm. :)
>Cheaper than a 26-hour outage?

AFAICT, using HN theres been roughly 30 hours of non-availability over 15 years. RDS didn't even support Postgres when Tarsnap was released.

EDIT: Tarsnap predates RDS.
Upload speeds of at least 1/4 of DL speeds and a /56 of IPv6 would be a nice start.
Better still would be a black list search engine to show only results that were banned by such services.
That's a finding, though. "We still depend too much on Bing and so when you search for a website that Microsoft has censored, we can't do any better."
I tried using a Chromebook as my primary home machine (so browsing, plus remote access to my work Linux machine for work stuff like programming or fixing production issues, ansible, etc)... It worked great for 95% of things.

The remaining 5% were mostly small things EXCEPT for one: I'd occasionally like to do some video editing (cutting up work screen recordings, making youtube videos, family videos). And to solve that, I ended up getting my first Mac. It totally solves the video editing problem, even allowing me to make videos on a laptop rather than being tied to a desktop (the only previous option that even half-way worked).

One thing that really irks me about MacOS, that ChromeOS has down is updates: ChromeOS it takes <30s to do a full system update and be back in business. For MacOS, I can count on my machine being out of commission for an hour.
I don't understand what you mean?

Any future fusion that requires a steam turbine to generate electricity will not be cost competitive with wind/solar/batteries by the time it arrives as the steam turbine will cost more to build and maintain than the alternatives even if you assume the fusion part is free.

Some fusion approaches convert more directly to electricity and might make a difference, but probably not for decades.
The Cognitive Style of PowerPoint [pdf]
1/3 of a data centres energy consumption goes on cooling.

They are end of life Victorian pipes, in a massively built up and down part of the world. It was always going to cost lots, which is why the govt privatised the problem before people realised what was involved.

Renationalising it would put up taxes for everyone in the country not just Londoners, thats why London is so expensive to live in. If labour get in, and they renationalise it, labour will be exploiting the stupidity of their voters.

Hanlon's razor, never attribute to malice that which is adequately explained by stupidity except stealth Govt planning.
>read a FUD article

Really? It's FUD that the Brave browser and team worked with and on a crypto project to integrate crypto into the browser?
Also, weirdly, she references twitter's customers as being distinct group from their advertisers. The fact that she does not mention who those customers might be however is not surprising.
Similarly, in the Pacific Northwest, patches of berries and other edible plants may be remnants of Indian/First Nation settlements:

https://www.science.org/content/article/pacific-northwest-s-...
I did a performance comparison of Redshift and Athena (including Redshift classic and serverless) in ClickBench: https://benchmark.clickhouse.com/

It has an open methodology, and anyone can reproduce the results.
Above, scottlamb came to the conclusion that live lock isn't possible after all, because one transaction will always have made progress. Intuitively, that makes sense, but intuition alone is always dangerous with concurrency. Which is it?
These are attacks on people in custody. How is that remotely relevant? None of these people had the opportunity to open carry a gun when those attacks happened.

Regardless, I am not saying he should not be allowed to do it. It's not boot-licking. I am wondering, practically, about the motivation.

Drawing a gun in a police station is a death warrant. Even looking like you're going to pull it could get you shot or arrested.

I don't normally go around wearing something on my belt that could get me killed if I move my hand near it. I would only do so for a very good reason.

So I'm looking for a better reason than "because I can". I don't see one in your response.
I know of TCF from https://www.cs.yale.edu/homes/antonopoulos-timos/PLDI-2017.p..., but the folks from sel4 have likely improved the models as they have a full research team on it: https://trustworthy.systems/projects/TS/timeprotection/. You might want to get involved.
Serge Hallyn, Stéphane Graber, and Christian Brauner are/were some of the most prolific contributors to LXC and LXD. It is hard to tell from the Github insights, because they typically used their canonical email and no longer have that tied to their account.

Sad to see an open source project that they basically started from scratch be ripped away from them.

As an aside, congrats to Poettering for successfully keeping systemd separate from IBM and hanging onto maintainership when moved to Microsoft.
They do both to carefully approach the 20% overhead allowed by the ACA. Denying claims wholesale, and allowing the claims they do approve to increase in cost year over year greater than inflation so that they can make the total pie that they take 20% of greater each year.
> Walking away with leftover cash in your pocket is a normal and above-board part of the process if you can do the repair more cheaply/by yourself/don't get it fixed; it's not fraud.

A friend had paint damage to his truck caused by a canopy (a large EZ-UP) being blown into it repeatedly during a storm. He filed a claim and the adjuster determined it would be something like $5,000 for a proper repaint.

He asked another friend of ours–who worked in insurance—if it was okay to just keep the money and ignore the paint damage: "Yeah, you suffered a loss, you were compensated for that loss, that's all there is to it. It's up to you if you want to repaint, or if you consider it diminished value compensation, or whatever. It's your money free-and-clear."

It feels wrong somehow, but it really isn't. Just don't try to claim the same damage again in the future.
Alerting people to the presence of trackers nullifies a lot of the motivaton for using them.

Amazing that an "innovative", privacy focused company like Apple never bothered to implement this.
That's a self-fulfilling issue, though. If no one is using Gecko why does Gecko have reason to improve performance. In theory one of the reasons to fork a browser is to add more eyeballs to its codebase. More eyeballs in theory mean more upstream delivered performance patches. If they had good performance engineers it wouldn't matter if they picked the "worst performing", because they could work to improve it and prove they had good performance engineers.
That's curious - one of the example programs computes the fibonacci sequence. The language is clearly still a work in progress. I wonder what the difference is in your recursion and what's listed?

https://austral-lang.org/examples/fib
> they don't seem to be scaling up quickly enough.

They're scaling up at a rate of 5% of total electricity production per year. And that rate is increasing by about 1/3 per year.

That's insanely quick.

https://electricenergyonline.com/article/energy/category/cli...
> No subtyping.

Adding it open a can of worms. Your type-inference/checking must account for "similar but..." types, you need to follow hierarchies/graphs/trees,etc, you need a way to "re-import" code that "belongs to the super type" (and probably recheck it?), it not always mesh well with other features (or make it harder).

Aside: One of the big reasons to make a bit list of "NO" is to avoid the temptation of "add some sugar to make this easier" but without fully understanding the consequences until becomes later.
PeerDB should work or Aurora PostgreSQL. It should work for both log based (CDC) and query based replication. Log based because Aurora supports pgoutput plugin. Curious, are you leveraging CDC to move data to S3? or more query (batch) based?
https://news.ycombinator.com/item?id=36899179
> very few things that will reduce CO2 is going to help against deforestation

Reform of agriculture might be it. Agriculture is also the leading driver of deforestation (50% of pastures were forested in the past).

> large scale reforestation will probably not affect CO2 very much either

But it could, it's probably the best tool in our arsenal. And it would not only affect CO2, but many of our other problems too (droughts, biodiversity, warming ...).

https://journals.plos.org/climate/article?id=10.1371/journal...

Rapid global phaseout of animal agriculture has the potential to stabilize greenhouse gas levels for 30 years and offset 68 percent of CO2 emissions this century

https://www.nature.com/articles/s41893-020-00603-4

Agricultural land use, particularly for animal feed, poses the biggest obstacle to ecosystem restoration and carbon sequestration, hindering climate efforts. The potential for carbon sequestration is vast, with enough capacity to meet the entire 1.5°C carbon budget.

https://www.theguardian.com/environment/2023/jul/04/improvin...

Improving soil could keep world within 1.5C heating target, research suggests. Better farming techniques across the world could lead to storage of 31 gigatonnes of carbon dioxide a year, data shows

https://phys.org/news/2023-04-climate-crisis-biodiversity-ap...

The climate crisis and biodiversity crisis can't be approached separately, says study

https://news.mongabay.com/2023/06/to-meet-u-n-climate-biodiv...

To meet U.N. climate, biodiversity goals, 79% of plant cover must be saved, study

https://ourworldindata.org/drivers-of-deforestation

Every year the world loses around 5 million hectares of forest. 95% of this occurs in the tropics. At least three-quarters of this is driven by agriculture – clearing forests to grow crops (upto 80% for animal feed), and raise livestock

https://ourworldindata.org/land-use-diets

If the world adopted a plant-based diet we would reduce global agricultural land use from 4 to 1 billion hectares (and free up an area the size of Africa).