skysight-inc/HackerNews huggingface dataset:
It seems to have no practical purpose. I assume someone funded it to keep RISC-V in the spotlight.
A huge amount of software is not designed. In fact, simply actually designing software instead of just allowing people to go hack away at things requires a culture around it.

That culture usually starts at the top if you have it in your company, but occasionally you will just be lucky enough to have it in your team.

So before you write some software, you describe it to your team in a document and get feedback (or maybe just your manager).

If you don't do this, you don't really have a software design culture at your company. My rule was basically that if a piece of software required more than 1 Jira ticket, then create a doc for it.
That's one side's argument. You can argue with anything, and then it's 'controversial'. Round Earth vs flat? Controversial! Climate change? Controversial! Basic economics? Human rights? Freedom?
Its a bit of a hack, but on Android apps can loopback connect to the phone with adb.

Also, ptrace works as well.
The "Dog mode" article referenced in the linked article sounds an awful lot like mania to me. I wonder if that's a factor here.
None of this is true. Yanukovych, the Ukrainian president with strong Russian backing, torpedoed a highly beneficial EU-Ukrainian trade deal under last-minute Russian pressure[1]. Ukrainian youth, who had the most to win from increased trade, employment and studying opportunities, staged a series of mass protest[2]. Yanukovych responded with gradual increase of violence, starting with hired thugs[3] attacking protesters, and culminating with police snipers killing 108 protesters on/around 20 February 2014[4]. That was such a shock that Yanukovych lost all political footing in Ukraine overnight. As he was about to get arrested and criminally tried, he went into hiding. After he was officially declared a wanted fugitive[5], Russian secret services evacuated him to Russia. The very next day after the wave of violence, on 21 February 2014, the Ukrainian parliament assembled and voted unanimously with 328-vs-0 to hold snap elections to find a replacement. Not even a single representative of his own party opposed this. The elections were held on 25 May 2014[6] and the results were recognized by everyone, even by Russia[7].

Calling this chain of events a "CIA coup" is an indication of baffling ignorance of the actual facts. Whoever gave you this "understanding" blatantly lied to you.

[1] https://www.osw.waw.pl/en/publikacje/analyses/2013-11-27/ukr...

[2] https://en.wikipedia.org/wiki/Euromaidan

[3] https://en.wikipedia.org/wiki/Titushky

[4] https://en.wikipedia.org/wiki/Maidan_casualties

[5] https://www.kyivpost.com/post/9002

[6] https://en.wikipedia.org/wiki/2014_Ukrainian_presidential_el...

[7] https://www.bbc.com/news/world-europe-27542057
DeepMind AI crushes tough maths problems on par with top human solvers
Safety literature focuses on straightforward ways to build highly reliable systems involving humans. That applies to almost everyone on HN.

What's funny is that the suggestions are usually pretty "common sense". You already know most of the information in Sidney Dekker's books and the NASA guidelines. They're essentially the same principles we all like to see in code.

Things like: Consider the human factors. Make doing the right thing easy. Make wrong things obvious. Trust, but verify. Keep the signal to noise ratio high in communication. Etc.
Also posted at https://bsky.app/profile/techemails.bsky.social/post/3lhox2p...
I started crossing Z, 7, 0 and generally writing in as unambiguous a manner as possible in my math homework because I was afraid of the teacher reading it wrong and taking points off.
https://archive.ph/CtWA0
Others can rebuild the chain and the results can be compared. Without reproducibility there is no concept of comparison.
I think the toolkit was proprietary and expensive until fairly recently, which I'm sure was a factor.
Is software abstraction killing civilization? (2021)
chuckle I'm teaching high school math, and I have students who are jedi knights of making ambiguous mathematical signs. They make their "1"'s with a long top serif, which make it look like it could be either a "1" or a "7". A "4" written with a curly hook on the bottom can be mistaken for an "8", etc etc.

Not to mention a glyph which is maximally ambiguous between "T" and "F" so that when grading true/false questions, could stand in for either :-)

If the students would put half as much effort into learning the material as they do in trying to trick teachers they would get straight A's ;-)
I don't understand why they never get more credit
Shoulda named it “stroopwafel” in honor of Bjarne Stroustrup. Never mind that one is Danish and one is Dutch.

Also naming things is surely the most fitting use case for ChatGPT, no?
"you know him because he's known but because you're actually familiar with his work"

I cannot parse your statement, either there are some missing words, or some problem with your English.

Anyway, from my previous comment, you couldn't have any idea about how I got to know Feynman and his work. I haven't mentioned it at all.

FYI, I got acquainted with his work in 1996 when I enrolled into the university. I was studying maths, my dormitory roommate was studying theoretical physics, and he had several Feynman's books that were very interesting to me, though I must admit that sometimes the underlying apparatus was really complicated for an 18 y.o. greenhorn. But the principles were clear enough.
Test reporting isn’t the most critical aspect, just an example of something GHA leaves for third party tools to implement.

With CurcleCI, looking through docs, the biggest concern is integration with GitHub. Reading limitations of both OAuth and GitHub App integrations it looks like there’s a race to catch-up with changes a limitations on GitHub side. Not sure if it’s GH not exposing some functionality to third parties to differentiate Actions (e.g. GHA having many more trigger events available) or is that CircleCI needs more time to implement missing features through GitHub App integrations.
It's unrelated to a python TCO. It's only about new optimizations now possible with the new clang 15 musttail attribute in the inner VM loop. while op { switch op case bla: ...} to reduce register pressure in the ops. This is possible for all other dynamic language VM's also (which didn't resort to luajit's assembly vm loop).

Compilers register allocation can never better when they cannot prove TCO. With this they can skip that
I mean, I did say that assuming it was wrong was not an unreasonable place to start, which I think makes my position quite clear. But, I'll clarify: I review all the code that ChatGPT produces before I use it. Sometimes this results in me asking it to revise the code, sometimes it results in me abandoning that code, sometimes it results in me learning something because it has produced better code than I had in my mind thinking about the problem, or it used code or libraries that were a "blind spot" for me. I've been programming in Python since the late 90s, and programming since the early '80s, but I'm not a programmer by day, so I definitely have blind spots. Even if I was a programmer, I'd admit I'd have blind spots.

But: The LLMs can produce rather good code. They can cover a lot of typing and low to mid level design work from a short description. I'm bringing value to my company and my life by using this tool, plain and simple.
It has to both be useful and economical. If that answer cost $2 to get you and a search+youtube video would have been just as effective and much cheaper, then it's possible that the new way to get the answer isn't significantly better than the old way.

The graveyards of startups are littered with economically infeasible solutions to problems.
I mean, I kinda get the YC point of view. How do you not invite the most powerful person in the country's history? Everyone appears to be afraid, and mostly rightly so. I guess that's just how it works now.
> No, we don't love to say it for no reason.

That is besides the point. I also believe that Google has been acting badly for years. Even more so it's intellectually honest to do the devil's advocate and examine their motivations.
Right? I once ran a private company where there primary shareholders (who didn't work inside the organization) used to complain about the margins because they liked to calculate profit margin _after_ taking significant dividends.
It's incredible to realize how many of the habits mentioned in this post that I've unintentionally picked up while studying applied math. Even after graduation, I still follow a lot of these 'conventions'.
I agree about both those, but its a bit odd to blame the Conservatives for something that labour did too: its pretty much consensus policy.

Labour (Blair and Brown) also weakened the NHS financially by running off-balance sheet debt.
https://archive.is/JEG4u
Good questions:

1. If the deps are also themselves reproducible then you refer to a fixed point version of them and (at least for nix) the package manager works out the rest.

2. Signatures are a trust mechanism, if a cache feeds you bad data in response to a query then that's absolutely an issue, but since there can be multiple caches (or your own local spot-checks) it becomes easier to detect if a cache is returning bad data. A hyper-targetted attack would still get you unless you decide to manually build certain packages, but that's no different than existing repos.

Manually building might sound impractical but it doesn't actually take that long, probably less than a day for a desktop environment, which might acceptable in a high-trust environment if amortized. I should add that the process is fully automatic, it just takes longer than using a cache.

3. Moderation I don't have a good answer to, anyone can run an apt server, or publish a flake.nix file to a repo. Some would say it is censorship resistant.
Can you say more about this?

On the face of it this comment seems ridiculous to me. Z3 is fabulously successful in other domains. Perhaps the problem fit is not there, or the problem encoding chosen was not appropriate.
Dormir Marie-Galante
Ha, I appreciate that!. My original intent was indeed to follow the law, as well as to have a "clinical" setting. Now, if you look at the pictures of what you're getting for $3,500, it leaves a lot to be desired. It's not even really a premium experience so the cost ratio made no sense.

Having now been very frustrated, I did actually follow up and organized my own session through my network. I found a contact who worked in psychedelic research, and who had led sessions with others with psilocybin, had a couple friends join and rented an amazing AirBNB in the woods, and was ready for a night of exploration. The chocolate bars the provider gave us... didn't work. I was left with an upset stomach and nausea, without any of the benefits. Our provider was really into psytrance as well, which if you've never listened to is an acquired taste. They were understanding about it all, but suffice it to say I haven't attempted anything since.
Saving Australia's Night Parrots
https://virtualtabletop.io/ is another option for this, web based. It's sort of like a 2D Tabletop Simulator.

Source: https://github.com/ArnoldSmith86/virtualtabletop
I've never gotten a good answer to my question regarding why Open AI chose a chat UI for their gpt, but this article comes closest to explaining it.
From my comment, you quoted and then responded to,

> 1920s-1930s Germany was "a/the center of research, culture, etc."?

To me, your immediate parent comment seems to be about a completely different topic, though in the same country at the same time. What does your comment say about Germany being "a/the center of research, culture, etc."?
That is very good advice.

Where would these sorts of companies congregate and/or what kind of terms would you use to filter for them?
LLMs don't do too well on those ARC-AGI problems. Even though they're pretty easy for a person.
Why not indeed? Why not also invite Curtis Yarvin and Steve Bannon? Have some nice talks about how AI can implement oligarchic fascism and further the cause of white supremacy? (Sorry, I mean "eliminate the woke mind virus.")
I think there’s some rose tinted glasses here. And I say this as someone who loves Final Fantasy X, Devil May Cry, Grand Theft Auto: Vice City. The PS2 was still figuring out 3D cameras and jank was a real issue. I’d say it took to the PS3 era where the console had enough power to truly render 3D worlds and have a controllable camera that worked well, especially in action games.

Now I’d say the PS2 games themselves were way better than the PS3 era, even with that jank ;-)
Would you mind elaborating on how you got from my post to this suggestion?

So many ways to interpret your statement.
> When a png is directly uploaded, the model is better able to notice that some strange pattern is present in the data. However, it still does not recognize the pattern as a gorilla.

I wonder if the conversation context unfairly weighed the new impression towards the previous interpretation.
So far it seems LLM-based systems are still reaching for a use.
One big lesson, I think (at least as flying does safety), is that even if the ideas are common sense, you have to take the common sense and turn it into rules and processes, and make sure people stick to those. And if it's a role where time matters, you have to drill those so people stick to them when seconds count.
I get what you're saying here. 100% but I don't see anything jumping to do it otherwise.
because that's why we went to the moon, why not?
Super Bowl Predictions Using a Fine-Tuned Deepseek
An absolute majority of startups are not vc funded. Only the ones you hear about are.

You either need to join the right group or talk to some founders.

We are bootstrapped genai company working on reducing hallucinations in LLMs and similarly we know tons of other AI companies that are bootstrapped
The \times sign is × in latex. To get • you use \cdot.
Humans seem to me to be just as likely to make these kinds of errors in the general case. See the classic https://www.youtube.com/watch?v=vJG698U2Mvo, which has an interesting parallel with this paper.
I have not tried Flakes.
Guile's main way of installing packages, I believe, is using Guix package manager. And Guix is written using Guile.
They're transaction log files for HKCU. Microsoft typically uses GUIDs to prevent name collisions.
I often connect to my remote servers because they have a problem. If a machine has a problem I can ssh into it and inspect it without worrying about my localhost. If I used vscode, I have to also be lucky, which is not a good security assumption.
My own version, from the world of IT.

We continue to add complexity for the sake of complexity, rarely because of necessity. We never question adding new things, yet there's always an excuse not to streamline, not to remove, not to consolidate.

We must deliver new features, because that is progress. We must never remove old systems, because that harms us. We must support everything forever, because it's always too costly to modernize, or update, or replace.

It doesn't matter if the problem doesn't exist, what matters is that by incorporating this product, we solve the problem.

We must move everything off the mainframe and onto servers. We must move every server into virtual machines. We must move every virtual machine into AWS. Every EC2 instance into a container. Every container into Kubernetes. Into OpenShift. We must move this code into Lambda. Do not question the reasoning or its value, it must be done.

How did our budget balloon in size? Why are our expenses always going up? Why is our cloud bill so high? We must outsource, clearly. We must hire abroad. We must retain contractors and consultants. We need more people with certifications, not experience.

Why is everything broken? Why is our data leaking into the public realm? How did we get hacked? We must bring in more contractors, more consultants. That is the only answer. We don't need internal staff, we need managers who can handle vendors, who can judge KPIs, who can identify better contractors at cheaper costs year after year.

Why is the competition beating us? What vendor should we go with to one-up our competition? We must consult the Gartner report. We must talk to other CIOs. We must never talk to our staff, because they don't understand the problem.

We don't like our vendor anymore. They raised prices on us, or didn't take us to that restaurant we liked for contract negotiations, or didn't get us box seats for that event this year. They must go. What do you mean we can't just leave AWS this quarter? What do you mean we can't just migrate our infrastructure to another competitor? That proprietary product is an industry standard, so just move to another one. What are we even paying you for?

We checked all the boxes. We completed all the audits. We incorporated all the latest, greatest technologies. We did everything we were told to. So why aren't we successful? Why aren't we growing?

...ah, that's why. We didn't incorporate AI. That must be it. That will fix it all.

Then we'll be successful. Then everything will work.
The fact that they charge significantly more money than virtually every other utility company in the country (and indeed, within California) with comparable margins is pretty good evidence I feel.
Ok, fair enough, I was thrown by your use of the word hallucination, which to me is used to describe picking things that don't exist, like if it had done "ssh-keygen -t rsa --add-public-keyfile-to-gitrepo-and-commit". In this case I had asked it to automate the do-nothing script, so I'd call this more of a "design decision" than a hallucination.
Unless I missed it, their Z3 solution wasn't even presented. So we can't comment on how good or bad Z3 is without seeing how good or bad their Z3 attempt was.
Previously

(52 points, 21 hours ago, 5 comments) https://news.ycombinator.com/item?id=42979187

(55 points, 17 hours ago, 5 comments) https://news.ycombinator.com/item?id=42980445

(20 points, 14 hours ago, 8 comments) https://news.ycombinator.com/item?id=42981120

(16 points, 12 hours ago, 4 comments) https://news.ycombinator.com/item?id=42981756

(30 points, 7 hours ago, 6 comments) https://news.ycombinator.com/item?id=42982964

It's a contentious issue, the oldest submission has been flagged & vouched a few times now.
quantum physicist here. I code with quantum computers (well, simulators most of the time) quite a lot.

This is a cool demo and a great first effort, but does it really use IBM's quantum computer? From my experience, the queues are generally quite long and and it takes atleast 10-15 secs from submission to getting your results back. And getting a single bit back is hugely inefficient. My guess is that you are submitting a circuit with hadamard on all the qubits with 1000-10000 shots and storing the results and showing them to people one by one? This might be misleading as you are not actually connected to the ibm quantum computer and generating random numbers in real-time.

Plus, since the ibm quantum comptuers exhibit a lot of noise, you are not getting truly random numbers. A better introduction to generating random numbers and also certifying them is available:
https://github.com/dorahacksglobal/quantum-randomness-genera...

You can play with this on qBraid.com and try out even more quantum computers. We actually used this as a hackathon challenge at South Carolina Hackathon. Keep on building and join us at future events!
>What was the alternative? Sticking with 65x02, 68K, or PPC?

No, including an interpreter like they did (Rosetta) was an alternative. The "alternative" really depends on what the goals were. For Apple, their goal is modern software and hardware that works together. That's antithetical to backwards compatibility.

>They could have stuck with x86 I guess. But was moving to ARM really a bad idea?

I don't think I ever suggested that it was or that they couldn't have...

>They were able to remove entire sections of the processor by getting rid of 32 bit code and saving memory and storage by not having 32 bit and 64 bit code running at the same time.

Yes, and, in doing so, they killed any software that wasn't created for a 64-bit system. Again, for even a purely historical perspective, the amount of software that didn't survive each of the instanced transitions is non-negligible. Steam now has an entire library of old Mac games that can't run on modern systems anymore because of the abandonment of 32-bit without any consideration for backwards compatibility. Yes, there are emulators and apps like Wine and CrossOver than can somewhat get these things working again but there's also a whole subsection of software that just doesn't work anymore. Again, that's just a byproduct of Apple's focus on modern codebases that are currently maintained but it's still a general detriment that so much useable software was simply lost immediately because of these changes when there could have been some focus on maintaining compatibility.
I don't disagree that "is it useful" is the important question.

The amount of money being invested is very clearly disproportionate to the current utility, and much of it is obviously based on the premise that LLMs can (or will soon) be able to think.
Oh American education system please never change
How would you model embodiment and embodied experience?
Most important to me was something not mentioned here: to make i/j les ambiguous, I but effort into explicitly add the right swoop at the bottom of the i, which allowed for the j to be a straight longish line dotted at the top.
https://grants.nih.gov/grants/guide/notice-files/NOT-OD-25-0...

The original grant notice is a good thing to read. They properly justify the cuts, and I think it's something that a lot of people would agree with - why is up to 70% of grant money being sent to "administration and overhead" at giant private universities? My small LLC is currently applying for an SBIR grant, and we were capped to 40% unless we provided a big justification - which we can't, because we're too small to justify anything like that. Meanwhile, big organizations and universities can throw their weight around and bully the government into handing them more money to do who-knows-what with. Maybe build a nice shiny new sports center with.

This is a good reform - even though it will cost my LLC about $75k in indirect costs that we might have been able to bill (40% -> 15%). I'm more confident in my ability to reduce our indirect costs and compete on a level-playing field with everyone else.
You can browse/manipulate the registry with PowerShell. There's an OOTB provider for it.

cd HKCU:

https://learn.microsoft.com/powershell/scripting/samples/wor...
For Greek I like this:
https://www.covingtoninnovations.com/pens/GreekChartLarge.jp...

There’s an old joke about “mathematical maturity” meaning being able to write a lowercase zeta, but I took enough classes from professors that would confuse xi and zeta that it probably doesn’t matter that much.
> I've completely lost the urge to "change the world" and

I’m there as well. Working for a agency at the moment and trying to figure out how to balance “shutting up and doing as I’m told with out concern for the why or the outcome,” with making the client feel I’m “bought in” when I’m truly not, I just want to do my hours execute the project they think they need, and move on to the next client
https://arcprize.org/blog/oai-o3-pub-breakthrough