skysight-inc/HackerNews huggingface dataset:
The treasury would auction off securities—probably short term bills—in excess of the debt ceiling. I am confident that this auction would succeed, in that dealers would be happy to bid, possibly at high yield. The settlement process following this auction has the Treasury and the dealers both sending out instructions on FedWire to transfer the bill to the dealer and the cash to the Treasury account.

The Fed’s conundrum is: do they possibly break the law, or do they certainly destroy the economy? I am supremely confident they will not destroy the economy. They’ve done gray-area actions to prevent economic catastrophe before. So the settlement will take place, Treasury will have cash, and everyone’s happy.

Then what? A lawsuit I presume, but who would sue the Treasury, and under legal theory? Not a lawyer, but I think you need to show injury to have standing to bring a case. But a case of this magnitude would be decided on political calculations as much as legal principles, and I cannot imagine the Supreme Court wants to be the party clearly responsible for world economic chaos.

And what kind of order could the Supreme Court issue? It would be weeks after the fact—maybe months. Some sort of unwind of the treasury auction, where the dealers put the bills back. (The bills might be expired though.) That would not solve a damn thing, because of the debt ceiling: there will be no money, and no way to raise any, to return to the dealers. I cannot overstate how damaging any such attempt to take back debt would be. This is similar to the collapse of a big bank or exchange, but orders of magnitude more so.

So since there really is not an effective legal remedy available to the court, why would they issue such an impossibility? I think the court will find a way to make the administration look bad, sure, but why would any court force a constitutional crisis? They are in a sense the weakest branch, especially in an emergency situation.
And so was the debt ceiling. I'm referring to the hypothetical proposed by the Federal reserve, not current-year policy.
What are the chances that the website is a honeypot?
Love your work :) Good to know I'm not totally out there on this :)
> There must be a middle ground where developers can focus on the core business logic that yields the most value without incurring technical debt and making the development process a nightmare. I don’t have an answer for that, nor have I worked at a company that found the perfect balance.

Personally speaking, the best place that I've worked at that mostly solved that balance, was Pivotal Labs. Technically, it was Cloud Foundry, but same people. The way they use Pivotal Tracker and the process around it was mind blowing. Unfortunately, it is really one of those things that you can't just read about and understand. You really had to be part of their culture. It was a cross between cultish and military precision. You can google around and read up on many blog posts. The PT documentation [0] spells a bit of it out too. It was intense, but I really enjoyed my time there.

[0] https://www.pivotaltracker.com/help/articles/gettingmore_int...
Well, I wouldn't choose it for fun. It would be as an alternative to death, and it would be a minimally-acceptable state. More would be better.

I'd also cede things like property rights in exchange for long term care. People do this today! But a BIV's needs would be simpler than full body care. All I'd need would be physical protection, temperature control, food, and a network connection. :)
You can (obviously?) give a bleeding edge LLM or LMM an open-ended instruction. It could be as open as "you will now act as an independent entity for your own purposes". It would need to be a model without guardrails.

But it's actually very important that people anticipate hardware, software, and model improvements that make the AIs "think" and coordinate much, much faster than any human. Although I think that the extreme raw IQ leap people talk about is questionable especially in the short term.

But telling these hyperspeed effectively superintelligent AI swarms to act truly independently for their own purposes will be very dangerous because of the performance difference between humans and the swarms.

In general, it is a very stupid idea to try to strongly emulate life with high levels of hyperspeed digital intelligence. And strangely people still don't realize how quickly compute efficiency ramps up.
I never knew sildenafil (marketed as viagra) acted as an antidepressant too, lol
> high-interest-rate approach

These are historically normal interest rates.
Science historically works on the time scale of decades and centuries, not months and years imo. So I think it's working faster and better than ever before. Journals are not science, just a small tool for slightly better communication between scientists. I think/hope we'll make them obsolete in favor of something that looks more like git repos with lots of automated analysis of logic and tests etc eventually.
We are talking about the modern world here, the comment was about companies and their role in a society where companies exist.. in a thread about a merger between two telcos. Comments should be read in context.

So, sure, not literally every market would disappear without investors. But the overwhelming majority of current GPD would not exist without capital. It's quite hard to name a single current business that would exist without any investors in the world. Does your business require a computer? An office? A store front? A phone? Running water? Electricity? Investors, investors, investors, investors, investors. There are various stakeholders in any business - workers, customers, capital providers, suppliers, folks who feel externalities, and so on. The idea that companies are there just for the workers and the customers is misunderstanding the complexity of the modern world. It isn't the same place it was 10,000 years ago.

And... it appears there is confusion about what a limited partnership is... Many limited partnerships exist so they can raise money from investors who want nothing more than a return on their capital. Here is a decent intro on the topic: https://en.wikipedia.org/wiki/Limited_partnership
.. An enormous amount of current law is written to make the aggregation of capital possible and an attractive proposition. Society generally understands how important it is to make investment attractive.
A lot of things about Zelda's plotting clicked for me in a new way when I read about how the directors were inspired by Twin Peaks and just surreal little characters and moments:

https://www.nintendolife.com/news/2019/12/feature_how_david_...

My pet conspiracy theory, of which there is sadly ample contrary evidence, is that the Zelda universe was supposed to be more like the Bond universe, where it just kind of reboots and picks and chooses its continuity rather than the convoluted branching of time, which I think doesn't add anything to it.
The same provider leaked all customer data in very recent history
the actual effect of enforcing this rule in this circumstance is basically to say that implicit political loyalty tests are a normal thing to have on a website for a programming language

on a surface level the statement isn’t controversial in any way, but the particular language that’s used signals something else entirely
The problem with abstracting control flow has always been the ease of composition within a program. I'm not sure if algebraic effects make that better, although I like the simplest form (exceptions with resume) for error handling.

It's kind of like abelian groups and hyper graphs. They generalize many domains very nicely, and are an attractive abstraction. But it turns out they're too abstract for any individual domain, and don't make life easier. The PL world seems to have learned that lesson from call/cc, but I don't know if they've reached it yet with algebraic effects - although it seems looming.

Control flow is sexy for PL researchers, so it makes sense why it's hot right now. Faster matrix multiplications are much more boring, no matter how much better they make society than weird control flow.

Just personally, I can count on one hand the number of algorithms I've written where weird control flow was necessary to make the algorithm easier, and they were all weird shit that I expect other people to use libraries for in most cases.
I love that LLMs really bring to light the material aspect of hardware.
The Linux coding style in [1] seems to be in love with K&R. It's adamant about indentation being 8 characters (1 tab, not spaces) yet K&R uses 4 character indentation.
Ironically, I am 100% convinced that the Dobbs decision may be what finally returns the US government to sanity. Saying that abortion is a political decision that the states should decide for themselves and punting it back to the democracy is the right decision. Tonight abortion rights picked up in Ohio - which is something that politicians will have to factor in if they want to be elected - versus just railing against the evil of the other party having the votes in the supreme court, while using abortion as a eternal wedge issue.

I think this falls into the same category. Inventing laws out of whole cloth to paper over political division is bad.
>> go on any elixir forum and you will find lots of highly talented developers looking for jobs

Sure, in a downturn after a year of waves of layoffs, and maybe in San Francisco, but the non-mainstream tech will live longer than a few economic employment ups and downs.
Hydrogen will probably not happen for transportation, but it is a serious contender for power grid backup.
I see. Yes the first thing I do on a Fedora install is turn off the GUI updater.
Your custom on-demand printed products dropshipping partner. Build and grow your eCommerce brand without any up-front investment.
As someone who loves ruby syntax, I'd be very interested to hear which parts of it you don't like.
Maybe San Jose should find a buyer for the land and have them facilitate its development. If the project is viable, someone will be interested.
Regus has actually taken over a few WeWork leases in my town. Seems like they're picking up inventory for pennies on the dollar.
Idk, I’d say induction charging roads are as ridiculous as solar roadways.

“Wireless electric road charging has long been hailed as a potential holy grail for widespread electric vehicle adoption.”

Hailed by who?? The people who run this company?

This is a solution in search of a problem.
We will be more sure it’s here when driverless cars are everywhere.
It's often not a matter of verbalizing if the decision makers don't want to believe what you're saying.

You have to be working with people who are more interested in finding the best outcome for the organization/team/people than the most convenient decision for personal or political reasons.
Synthesis capability: When the system is capable of deriving established knowledge from first principles (similar to theorem proving from axioms)

Gap detection: The system is able to identify gaps in established knowledge

Path/problem decomposition: The system is able to decompose a problem (i.e., an identified gap) and break down the solution into a set of subproblems that can be independently solved.

Improvement/Optimization: Given a known solution, the system is able to discover objectively better approaches to solution.

There are probably other dimensions, but I would start with these.
British biotech races US's 'buff billionaires' for secret of eternal youth
What is your alternative solution?
Well, if you uncritically share Nature articles, you're a sucker. It doesn't matter too much to me. Poor choices by others helps me make money.
I've only read the link and the sample pages slightly, but this feels hyperfocused on advancing your career. Somehow the existence of books like these makes me depressed... is that rational? I just picture the future of tech being all about competitive people trying to race through their careers while the rest of the world puts up with their unpolished software.
If it passes so many jobs go poof. Capital owners will then rejoice in their golden swimming pools.
Jury's still out for Kingdom of the Planet of the Apes. Everybody who made the previous trilogy great is gone. I would bet Wes Ball is very hot right now amongst producers, but that Kingdom bitterly disappoints.
We already have excess green power (spot prices are sometimes 0 or even negative). There is (now) just not enough of it. However as renewables quickly ramp up there will be more and more of it.
GPT-4 can do all of that today.
Casually using “Nazi” like this in context of American politics just means “anyone to the right of me”

it’s ambiguous but the implications are clear

If you are a Christian, someone who would use this phrase would likely call you a Nazi. If you don’t want to abolish the state of Israel, they might call you a Nazi. It could be any issue really. But to actually be “safe” in an environment like this you have to align yourself roughly to the politics of the DSA or you aren’t welcome.

I guess you could say at this point that “Nazi” has devolved into being a sort of a political slur referring to anyone who is not sufficiently leftist.
Springer is a huge publishing conglomerate that also deals in physical books, besides the payroll for editing and typesetting, the cut from retail channels, etc.
Cledíal got me
At symbol names in other languages
I wish there were a standard cross platform assembler library in C for x86, ARM, and WASM. Because frankly writing an asm text generator and shelling out to GCC or NASM is really annoying, and it feels like something so foundational should just exist.

I get there's yasm, and libnasm, and asmjit, and libgccjit, and llvm, etc but they're all varying degrees of "bad" for the purposes of a simple code generator for someone that doesn't want to dig through ARM and Intel's developer docs.
If you’ve read The Silmarillion it’s not too difficult, as Elvish names have common construction patterns and sounds.
THIS!!

Similar for a close family member with a strange heart and immune condition.

InsuranceCo BCBS had some bureaucrat without even a medical degree directly second-guessing the tests ordered by the literal Director of Cardiology at the world-renowned Mayo Clinic.

All I can think is: "Who the fck are you to even begin to question this expert, and deny his recommendation?". Now, IFF they had some actual peer reviewing it (e.g., the head of cardiology at Cleveland Clinic or Harvard Med School), that might be legit, but this is nothing of the sort. It's like the tech giant's arbitrary terminating accounts with support, except instead of cutting off your livelihood, they are killing you.

It is the death of expertise. It seems like practicing medicine without a license and without even seeing the patient (which is legally required before writing many prescriptions).

Why it is even close to legal is utterly baffling.

(I hope your dad continues to recover)
AI Virtual Marketing Agent
An AI virtual marketing agent is nothing but a software program that is powered by artificial intelligence for various activities in Marketing area which would otherwise require a human intervention. The recent boom in Generative AI powered agents play a significant role in the evolution of virtual agents. These AI agents are powered by AI models like GPT-4 and GPT3.5 from OpenAI, Llama 2 from Meta, Claude 2 from Anthropic and many more, making it extremely efficient compared to the old virtual agents which did not have the amount of learning or intelligent brain.
> You might as well go over the every caterer they ever hired or the people they hired to clean their offices.

Neither of these options are likely to pay off in a lawsuit. Larry David and Tom Brady however just might settle whether you believe it's right or not.
The scientific publishing industry is ridiculously profitable.

https://www.theguardian.com/science/2017/jun/27/profitable-b...

> In 2010, Elsevier’s scientific publishing arm reported profits of £724m on just over £2bn in revenue. It was a 36% margin – higher than Apple, Google, or Amazon posted that year.

It's the perfect rent-seeking business: grant bodies and governments judge scientists by approval of journals, scientists need to play the game of getting into 'reputable' journals, journals sit in the middle, outsource most of their work into unpaid work to scientists, and laugh all the way to the bank.

Then governments introduced mandatory open access for scientific research, for a moment it looked like journals' chokehold might fail, but they just adjusted: Nature journals charge authors ~$10,000 per open access paper. That's all taxpayer money going to for-profit organisations with little justification for the price.
I know of a heart surgeon who makes $2,100 per hour.
> CFS quotas only become active under contention

That's not true at all. Take a look at `cpu.cfs_quota_us` in https://kernel.googlesource.com/pub/scm/linux/kernel/git/glo...

It's a hard time limit. It doesn't care about contention at all.

`cpu.shares` is relative, for choosing which process gets scheduled, and how often, but the CFS quota is a hard limit on runtime.
It would be cool if they got some interesting writer that could come up with some really innovative script, I think the Barbie movie played surprisingly well in the unexpected, and got a big payout for the risk. I have no idea what the Zelda movie could be, but I think going for Majora Mask or Wind Waker (less traditional Zelda), gives more possibilities for something different. Alternative would be insane budget LotR approach for something epic, but I think I would prefer the more arthouse film approach.
It turns out it is the moderator team that adopts it. So the heading is quite misleading.
Considering last time they chose a voice they went with white bread in person form, it would be an improvement.
I felt like that too, at first. I was really excited by what LLMs seem capable of. But when I started implementing one from scratch I realized that it's just linear algebra picking out the most probable match to a prompt.

I'm afraid I had to come to the conclusion that LLMs, although being fun to play around with sometimes and seeming surprising at first, it's a similar kind of fun and surprise to sleight-of-hand. Like sleight-of-hand, and unlike real general intelligences (i.e. other people), it seems less and less fun and surprising the more exposed to it I become.

I guess this won't change your mind though. Maybe you've understood more about them than I have, and maybe I'm just grumpy and cynical.
"But they don’t tell you what they actually want you to do if you want to move 200k"

They will tell you to use a wire transfer.
Sure, we definitely are seeing some level/type of general intelligence, but we still want to distinguish between general intelligence and superintelligence.

That's a big part of the problem, people thinking imprecisely and using "AGI" and "ASI" interchangeably.
Which country are you from? A family member in Lithuania has gotten this popup as well, but surprisingly it was asking for a whole €12.99/month instead of €9.99/month. Initially I had assumed it would be €9.99/mo everywhere, or at least cheaper in countries where people don't earn as much.
Some of this is a product of job-hopping culture and of having boom-time teams (technical and management) with too many early-career members. Some of it is also just the perpetual back and forth of competing interests.

That said, for those who do good work and develop long-term trust with long-term colleagues, addressing technical debt is often “poke at this while I sip coffee” work that get chipped away at gradually and without a lot of paperwork, or that gets quietly slipped in alongside other feature work.

When you’re having to pitch the work to someone, you’ve often already failed the pitch. The debt payment is already due.

But if your peers come to trust you, then they learn not to reject a PR that cleaned up this module a little more than strictly necessary or that included a commit that revisited an adjacent abstraction.

To get there, though, you need to work on healthy, stable teams with experienced colleagues rather than in the mad churn that seems to dominate a lot of work cultures these days.
I think a true AGI won’t start with a lot of training at all, but will be curious. Over time it will learn how to acquire and manipulate information, understanding itself and what it discovers. It will not be optimal, but it will strive to optimize itself. Its actions will have consequence, and it will decide future actions upon its understanding of those consequences. It will understand its mortality and the physical world it exists within, and strive to create continuity. It exists without preconditions as to its purpose or abilities. It will most likely thrive with peers. Don’t think of it as a powerful oracle built by many hands to emulate humanity, see it as a child of a new species, the inevitable conclusion of unbounded maths.
I use the semi-official Acme package [0], which handles all that really well. I haven't touched SSL or TLS config for years. I mean, I might be an outlier, but this seems pretty standard for Go deployments these days.

[0] https://pkg.go.dev/golang.org/x/crypto/acme
Nobody is going to personally find multiple experts to weigh in on every subject. What an absurd thing to suggest.
No one ever asks Hacker Feels
I care very much about privacy. I use only free and open source software on my personal and work computers, as well as my phone and router. I do not use social media, except for this site. I do not connect anything to my network that I do not control. For this reason, I don't have a smart TV, smart speakers, or smart appliances. I drive a car from 2009 with no cellular connection or GPS unit. I agree that the "nothing to hide" argument is weak.

I am opposed to indiscriminate government surveillance. This is not that. I have seen what it looks like when this data is used as evidence in court. The EDR provides information about the driver's last inputs to the car, and it has a very small amount of storage. The data is only accessible through physical access to the unit.

In the event of a fatal accident, there are very few sources of information:

- Survivors (biased)

- Witnesses (not always present)

- Forensics (squishy)

- EDR data

The EDR is a crucial source of truth for determining the cause of an accident. When you drive on busy roads, you are taking others' lives into your hands. In the event of a serious accident, it's critical that the details of the seconds before the accident are available to inform legal decisions. If we remove the EDR, we are left only with less reliable sources of information.

I do not support making black boxes mandatory because it feels like it violates the 5th Amendment. I will also never purchase a car without one, because I think it is more likely to prevent harm than cause it.
I'm really impressed by the syntax. I have yet to find a piece of syntax I wouldn't like. Labelled arguments for example are delightful:

pub fn replace(
in string: String,
each pattern: String,
with replacement: String,
) {
// The variables `string`, `pattern`, and `replacement` are in scope here
}

replace(in: "A,B,C", each: ",", with: " ")
This is exactly what I was thinking :(. Well put.
Achieve a significant scientific or mathematical breakthrough without human supervision. Domain experts should agree that the new result is truly groundbreaking, and achieving it required fundamentally new ideas — not merely interpolating existing results.

Examples of discoveries that would have counted if they weren’t already made: Relativity (say a derivation of E=mc^2), Quantum Mechanics (say a calculation of the hydrogen energy levels), the discovery of Riemmannian geometry, the discovery of DNA, and the discovery of the theory of evolution with natural selection.

The idea is to test the system’s out of distribution generalization: its ability to achieve tasks that are beyond its training distribution. This is something that humans can do, but no current LLM appears to be able to do.