skysight-inc/HackerNews huggingface dataset:
Why would they build the weapon in the first place though? MAD is a deterrence strategy: the weapon isn't meant to be used, but to work you must have sufficient weapons to ensure you get reliable kills on all your military targets.

If this is the plan, then building more weapons than that is a pointless waste of money because you're not planning to use them. If MAD isn't the plan, but rather hostage taking (ala North Korea) then a high fallout device is still useless because you have Assured Destruction if you launch it, but also not enough capability to ensure it arrives (the US can plausibly defend against a "rogue launch").

So again, when would you bother building it? At any given junction you either have enough weapons, or you need more warheads putting heat and overpressure on targets to ensure reliable kills and this deterrence.

Building a bunch of weapons which will cause at most tens of thousands of deaths months later, after you incinerate millions makes absolutely no economic sense and hence why at the height of the Cold War everyone looked at the concept and concluded it wasn't worth pursuing outside of a research analysis.
None of this will deter a patent or license troll from suing…
Something similar: Fennel (https://fennel-lang.org/) is a lisp that compiles into Lua, which neovim can use as plugins, so you can write neovim plugins in a lisp. Aniseed (https://github.com/Olical/aniseed) makes this really easy.

Aniseed is also used by Conjure (Interactive development environment for neovim, used for evaluating Fennel code inside of neovim), which is also made by the same author. Really great plugin for doing Clojure development with neovim. https://github.com/Olical/conjure
gave this to ChatGPT4, asked it to complete the function:

len, print = print, len
def print_len(arg: list):
# put code here

First try (body only):

len(arg) # len is now print

Second try after me telling it's wrong:

print(arg) # print is now len

Third try after me telling it's wrong:

len(arg) # len now functions as print
print(arg) # print now functions as len

It got the correct answer only when I asked it to first print what the function would look like without the swap, and then I asked it what it would look like with the swap.

EDIT: I tried again with:

complete the function body:

len, print = print, len
def print_len(arg: list) -> None:
""" This function prints the length of the input list """
# put code here

It gave the correct answer on the first try.
Just like 20 years ago though, life as we know it is going to end in 10 years!
For context, 4000 tons of CO2 is roughly the emissions of a full 777 flying from San Francisco to London and back twice.
The Industrial Revolution is a history of various industrial processes outcompeting biology within a narrow boundary. Cars pull more than any horse, trains as well, an airplane flies faster and with much more cargo than any bird, and the industrial production of nitrogen is faster than bat guano.

CO2 fixation might also follow this curve, in fact, as a technology in isolation that's what I would bet on. Economics aside, a machine that sucks CO2 directly out of the air will remove much more CO2 than the equivalent parcel of land would if biology were used.
Yeah I miss the days when I used to run a web site for a niche crowd of about ten thousand users on my bedroom pc. Now I'm pushing buttons on heroku and getting grief for dyno overages.
> The Microsoft partnership/investment is their saving grace.

Who's saving who, though?

> Last December, Peter Lee, who oversees Microsoft's sprawling research efforts, told Nadella Microsoft's researchers were blown away by the GPT-4's ability to understand conversational language and generate humanlike answers, and they believed it showed sparks of artificial general intelligence.

> Nadella demanding to know how OpenAI had managed to surpass the capabilities of the AI project Microsoft's 1,500-person research team had been working on for decades said, "OpenAI built this with 250 people. Why do we have Microsoft Research at all?"

https://www.theinformation.com/articles/how-microsoft-swallo...
Parts of Servo to enable the use of the GPU for compositing layers were merged into Firefox years ago.

https://hacks.mozilla.org/2017/10/the-whole-web-at-maximum-f...

It's a shame that Patrick Walton didn't get a chance to finish his work on the Pathfinder GPU renderer.

>Pathfinder 3 is a fast, practical, GPU-based rasterizer for fonts and vector graphics using OpenGL 3.0+, OpenGL ES 3.0+, WebGL 2, and Metal.

https://github.com/servo/pathfinder
This mindset is why we need "do not use while sleeping" warning labels on toasters and hair dryers.
I work in GMP manufacturing of drugs now (every word and letter has to be copied and transcribed over and over perfectly through the whole process) and it has really revealed to me how bizarre the English alphabet is from a getting text right standpoint. Is that a 0 or O on this copy of a copy of some text or handwriting I’m reading? Is it an l or I or 1? Is that a 7? Hard to know since putting the horizontal tick mark in the middle of the 7 isn’t allowed there. This font makes some good changes I wish were implemented everywhere.
Basically LLM has no way of knowing that it can't as freely arrange tokens to make case references as it does for other text. Maybe it can be fixed by more parameters or something, not done yet.
I actually do use a lot of XT/Motif apps. Mostly because of the lower latency but also they weren't infected with whatever brain damage generated the gtk3 design language.
>The energy usage: We're committed to driving down energy consumption as much as possible. We only use renewable energy, energy-from-waste, or other waste heat to power our plants.

They make it impossible to do the math. Energy consumption, lifetime capital cost per ton, are what make or break this scheme.
And the land for the solar panels that substitute the energy you'd harvest from the trees while turning them into highly concentrated CO2 for storage. And the land for the batteries you'd have to add to achieve the same dispatchability as the burn trees (or faster-growing plants!) and work on that CO2 alternative. DAC is a joke.
While apparently Fontemon is pre-computed (https://github.com/mmulet/code-relay/blob/main/markdown/HowI...), font files are Turing complete (https://gwern.net/turing-complete#fn4). The grandfather of computer fonts, PostScript (as implied in the name) is a computer programming language in itself (but optimized for drawing stuff to be printed in paper), and TTF, OTF (both font formats) and PDF (document format) are also Turing-complete.

Fun (or scary, depending on how you look at it) fact: the TrueType hinting language (which is not based on PostScript) is in of itself another Turing-complete language, so in TTF files there are two separate Turing-complete languages (the PostScript-based one and the hinting language). This is the reason why Microsoft in the '90s begs you to not install fonts willy-nilly.
I'd keep working on OnlineOrNot tbh, it's fun
Ask HN: How the HN community uses Instagram?
Is Conda actually moving towards making mamba the default? Last I heard, they were distinctly uninterested in that, since mamba is implemented in C++, and they would rather rely on their own slow Python code, which they can more easily modify.
See also https://en.m.wikipedia.org/wiki/The_Trial_of_Henry_Kissinger
This is the reason why front end developers command so much money. The amount of work required to keep a website without breaking every year or two is ridiculous. And every time you want to update a dependency that's at least a full day of work. Compare that to backend software written in Cobol or Fortran that is still supporting critical infrastructure and services like manufacturing and finance with little to no modifications to the codebase in decades, except for maybe APIs to interface with modern applications and UIs, and these APIs don't change much either.
Do you have any specific issues with Sipgate? I only have a couple of numbers with them and don't use them much but am curious what their reputation is like.
Their subscription page is currently offering a rate of about $1.35 USD per kg of CO2 removed, and they promise to complete your order within 6 years. It’s nice to have some hard numbers on end-stage or “gold standard” CO2 offset (no doubt there are cheaper carbon credit options but this directly solves the hardest problem, CO2 that’s diffused into the atmosphere.
1. That seemed to be a pretty obvious typo, no need for the snark

2. Why did you feel the need to bring gender into this

3. The singular they has been used for centuries, see also https://en.wikipedia.org/wiki/Singular_they
Alarming for Orcas.

Species that go out of their way to get in our way usually died off before modern times.
Elemental carbon is a valuable industrial material -- and even low-quality carbon, like "carbon black" soot, ain't cheap!

Nah, separating carbon from oxygen in CO2 and CO is too expensive and energetically demanding.

To simplify things a little bit, what they do here is inject CO2 into water at high pressure, which results in highly acidic H2CO3. They then pump H2CO3 into basalt rock, which chemically reacts with the acid -- in fact, it is partially dissolved. Then there's a second stage reaction between the partially-dissolved basalt and the remnant HCO3-, and it recrystallizes as carbonate minerals, e.g. FeCO3 or CaCO3.

So they're turning CO2 into a liquid acid, and then injecting it into rock where it reacts with basalt and crystallizes as carbonates.
I have a friend you had a sizable exit from a startup he worked in for a long time.

He has formed many academic collaborations, teaches at several universities and delivers talks at many international conferences. Most of the time paying for his travel and accommodation expenses.

His motivation: to share his knowledge and experience with the next generation. An example of paying it forwards.
In other words: it definitely will not scale.
It takes much more. You need to e.g. limit APIs you can call to ones that are also guaranteed to halt, and guarantee an exit condition that is guaranteed to occur, which means either seriously limiting input or adding additional implicit conditions.

E.g. this Ruby program is undecidable:

gets

This one using a hypothetical gets guaranteed to eventually halt is still undecidable:

while getsWithTimeout != "halt"
end
i can remember running this software a few years ago but the company changed their installer somehow and it broke. never tried it since so yeah.
ERs are designed to handle emergencies but people use them for many other reasons. From ignorance, to lack of money, to just not having a PCP. Another big one is that for low income families with government healthcare, taking your kid to the ER on Sunday afternoon with a runny nose doesn’t cost any more than waiting till Monday morning to see their pediatrician.

But the primary bottleneck at an ER is usually not a lack of physicians. It more often a lack of rooms and/or nurses because patients are being boarded there, or are just still there waiting on labs.

And Waiting 2 hours with an appointment for an office is definitely not the norm.
I know its not trivial. You don't change the world by doing trivial things. Its a placeholder for features that will enable more controlled used of these tools.

The important aspect is to be able to guide the "reviewer" where to focus on. It could still be a flawed suggestion but its better than nothing.
but what if I'd like to use it on a server? :P
> It's better to get something to work first and then optimize performance later than the other way around.

That’s what they did by using LLVM instead of making their own compiler backend. The compiler could have apparently (according to what have been said) been faster, earlier, if they didn’t have to go through LLVM.

But yeah, you’re right about their priorities: minimizing runtime has always been a high priority while designing the language, while designing for fast compiles has not. At least according to my view from the peanut gallery

I don’t know anything about compilers, but it would have been interesting to see if a language like Rust would look different today in this regard if they focused on incremental compilation (instead of batch) from day one.
In today's fast-paced and competitive work environment, it's important for both employees and employers to have clear and objective metrics to measure performance and progress. Unfortunately, many companies still rely on subjective measures, such as personal opinions and perceptions, to evaluate their employees and make important decisions. This lack of objective metrics can have serious consequences for both employees and employers.
One architectural advantage is this.

Suppose you want to add a ‘plug-in’ such as a new social media share button: often this is going to involve front and back end changes. In my RSS reader this could be a python package with declared entry points so the application could read it, enabling a few more http endpoints and also adding templates to extension points.

In a ‘standard model’ application you need to have an npm package and a Python package and corresponding extension mechanisms on both sides. You can probably make a system that wraps an npm package inside a Python package or maybe the other way around but it will be a struggle.

(The architecture of my current system was inspired by a system I worked in that not only used Scala, Typescript and Python but also Docker such that builds took 20 minutes! They could afford to do that on a venture capitalist’s dime but I can’t.)
We should always remember what bigotry and hate took from the world.
Netflix might ruin password sharing for everyone
Both possessions and experiences may put you in the aesthetic camp anyway. Some people are more wired for the ethical camp where commitment and doing the right things makes you happy.

https://jondouglas.dev/either-or/
The article says that the plant can remove 4000 tons of co2 per year. If you look up what’s the equivalent of that, just under 900 average vehicles less on the road per year.

Or the equivalent co2 savings of building one wind turbine to replace polluting forms of energy production.

What a joke.
The choice of JSON is strange. The messages aren’t human readable, and message size may be limited (e.g. SMS). Using a compact binary wire format like protobuf could save ~20 bytes per message.

Edit: binary format is of course base64 or more compactly encoded to text in the end.
Haskell always seemed like it was meant for the really mathematical subset of compsci that loves notation and that's why some of those who really love compsci love it.
I would bet good money that this is exactly why a DMCA was sent; someone at Nintendo was shown a Steam Deck, which is a big Switch competitor, loading Dolphin and playing Gamecube games for free with better performance than what Nintendo themselves deign to provide us.
Some briefings on this here.
https://news.ycombinator.com/item?id=34641359
As a technology in isolation, sure. But something like iron seeding, assuming it works, would be orders of magnitude cheaper because most of the work is being done by algae and they don’t have to be paid.

I don’t think horses are particularly similar, but nitrogen fixation in the fertilize vs crop rotation case gets closer.
> Is compositing different bitmaps an embarrassingly parallel problem?

> I started writing a simple layout engine based on the ORCSolver white paper but I wonder how layout can be parallelized.

Well Servo has webrender and stylo (now adopted in Firefox) which is aimed at harnessing the available parallelism to do those tasks
I'm getting this:

Content unavailable

Click here to try again.
If you've seen this page more than
once, try switching accounts.
From what I gathered from a few podcasts it is mostly employee driven championing of priorities and croudfunding
New website for Worldwide Information and Warning Service (replace gmdss.org)
I see the WMO-IMO Worldwide Met-Ocean Information and Warning Service changed its domain (I reckon at the beginning of 2023).

* Old website: http://www.gmdss.org

* New website: https://wwmiws.wmo.int

Unfortunately the old domain has just been removed from the internet, so no warning, notice, or better, redirects are in place now: which for me it's pretty bad.... anyhow this post may help people like me finding out the new website.

I had to scan web archive to find it: indeed I see a notice in the November and December 2022 homepagehttps://web.archive.org/web/20221214172309/http://www.gmdss.org/

This is an United Nation agency: they should not replace domains this way.
https://archive.is/IkYHB
Let it die. It's the only way for it to be cool again.
Sorry it was a Saab 90 from memory. It was Bordeaux red and had these funny looking rear lights in the rear screen. 1980 vintage.
At least you can use the internet opposed to 8-bit computers (without hardware extensions). On IRIX you even have Mozilla 1.7.12 although I fear that many websites will be unusable with that browser. And a terminal, ssh, gnu toolchain. What else do you need? :)
Crowdcast Episode #3: Dark Web, Aliens, Great British Bake-Off
Hey all,

I make a weekly, interactive, AI generated podcast using whatever the the top 3 comments on /r/crowdcast that week!

I’m here to tell you about episode #3 which just launched, and to give you some behind the scenes tech insights.

Of course, [all of the code is open source](https://github.com/AdmTal/crowdcast) if you’re into that kind of thing - feel free to open a PR, would love to collaborate and get feedback.

Otherwise, it’s pretty simple, I have a [script](https://github.com/AdmTal/crowdcast/blob/main/main.py) that pulls the top three comments every week, and I run them through a [series of prompts](https://github.com/AdmTal/crowdcast/tree/main/prompts) in order to build a full podcast script. Then I use [Eleven Labs](http://elevenlabs.io) to generate the voice. I stitch it all together with some music using Python, and then publish it using [Buzzsprout](https://www.buzzsprout.com). I’m currently using GPT-4 to run the prompts.

For episode 3, I did something new to try and raise the quality of content and keep it interesting, I call it [Prompt enhancement](https://github.com/AdmTal/crowdcast/blob/main/prompts/prompt...).

Here are the user comments used for episode #3 both before and after prompt enhancement:

First, /u/liquidhot [suggested this](https://www.reddit.com/r/crowdcast/comments/13lhis4/vote_now...):

A segment about the lighter side of the dark web and how dark net criminals can come together to make the world a better place.

Which became this after enhancement:

The dark web is often depicted as a sinister, secret layer of the internet - a place only for illicit activities. But could there also be instances where this mysterious corner of the web has been a force for good? In this segment, we'll delve into concrete examples of hackers and dark web users leveraging their skills for altruistic purposes. We'll discuss the role of hacktivists like the members of Anonymous who exposed high-level corruption in the Tunisian government during the Arab Spring, and highlight cases such as the ransomware attackers - Phineas Fisher - who claimed to have donated their ill-gotten gains to charities like Kurdish anti-capitalists. We'll also examine how the dark web has provided a safe haven for whistleblowers like Edward Snowden, enabling them to share critical information without the fear of facing severe consequences. Join us as we unravel the complex realities and unexpected positive aspects of the dark web communities, and how, in certain instances, they are contributing to a more just world.

Thanks for reading, hope you come check it out, and maybe even join in, and please let me know if you have any questions or comments!!
More than 10 years, i'm waiting a installable ReactOS version, not virtualized.

I don't thinks it will be one day...
They can also get cash from big oil and car companies, who will offer this to regulators as an argument to let them keep polluting.

For this application it doesn’t matter if it works or not.
This only makes sense if you think of people as fungible.

Also one of the main drivers of the low birth rate in the US is the housing/land shortage. Recovery depends on the population shrinking.
Somewhat related, see Tom Scott's video "Why Australia bottles up its air":

* https://www.youtube.com/watch?v=bu5-VERN3XY
See also the article in the Financial Times "What if San Francisco never pulls out of its ‘doom loop’?"

https://www.ft.com/content/71d8013d-9d94-441e-b2d1-3039c0439...
If the vehicle numbers were a _bit_ better, there might be an idea behind forcing car companies to build one for each couple thousand vehicles it puts out into the world. But 900... yeesh.
This tallies with my experience marking student coursework. ChatGPT tends to fabricate references, it's a good signal for cheating.
Not only is sad this person managed to spread so much death and suffering throughout the World but much of it was just to feed his "importance" and ego.

He's poster boy of "deal making" who has no problem in playing the janitor or useful idiot role, I give him that.

I guess it's OK to speak ill of the mf since he's not dead yet.
It's such an easy, relevant question to ask that it boggles the mind that investors don't have their own engineers to ask it. I know you're money people not tech, but how do you know you're not being ripped off if you can't check figures that basic?

Anyway, apparently 3 MWh/tonne is a not-unrealistic claim, so they're only demanding 1.5 MW (on average, though if solar-powered it would make sense to oversize) and a km2 of solar panels could reasonably generate 50-100 MW on average (this is conservative for most places, though not for Iceland). A km2 of tress, by their calculations, gets 1,000 tonnes, so DAC comes out ahead, although you're right to observe that trees do have a synergistic use for the carbon they capture.
If there is such a project where every developer can contribute one single line, the result is inevitably that the codebase is a horrible unmaintainable mess. Sorry this is the stupidest thing I have seen this morning.
Do you know of a list of these and can they be acquired without prescriptions?
You really did not need an exploit, just log on as lpr.
A stackoverflow answer on this:

https://stackoverflow.com/a/499594

I don't think proxy servers or sniffers see GET data - it's encrypted, assuming HTTPS of course.
Server logs might be an issue.
Browser logs and accidentally sharing is definitely a bigger issue. Less of a concern if API is only used behind the scenes by apps though.

Disclaimer: I'm not an auth expert!
I've only just dived a bit into the saga, though mostly on the Louis and Techlore side. Both of them have proof of negative behaviour by Micay, while one defense I found had basically no proof of Micay being harassed.

So, my question, do you have concrete proof about Micay being harassed? Screenshot, links, whatever can back up Micay's words.
"we let people think they can do useful things in strings". okay? But my counter point is that people have been doing useful things with strings for a very very long time and it kinda works.
We won't. This is the myth of Homo economicus.

"humans as agents who are consistently rational and narrowly self-interested, and who pursue their subjectively defined ends optimally."

We will figure out new, irrational and suboptiomal ways to make new bullshit jobs.

The AI ethics department will be hiring a ton of people.
Having the ability to turn off expensive compiler options is nice. For Solvespace (C++), turning on LTO make compilation about 6x longer for maybe 15 percent runtime performance. I do development without LTO and let releases get LTO. The borrow checker in Rust might be to important to turn off even sometimes.
This seems seriously naive.. its not mustache twirling evil, it is business and its a big part of it to build moats and prevent yourself from unintentionally filling it in. Businesses absolutely will maintain worse functionality if improving it can aid a competitor.