skysight-inc/HackerNews huggingface dataset:
I think HM is simply not practical. You don’t want your types to be a multidimensional logic puzzle solved by a computer, cause you want to reason about them and you are much weaker than a computer. You want clear contracts and rigidity that they provide to the whole code structure. And only then to automatically fill up niches to avoid obvious typing. You also rarely want Turing Completeness in your types (although some people are still in this phase, looking at some d.ts’es).

Weak var/auto is practical. An average program and an average programmer have average issues that do not include “sound type constraints” or whatever. All they want is to write “let” in place of a full-blown declaration that must be named, exported, imported and then used with various modifiers like Optional<T> and Array<T>. This friction is one of the biggest reasons people may turn to the untyped mess. Cause it doesn’t require this stupid maintenance every few lines and just does the job.
> Concorde flew NYC<->LON in 3.5 hours. I guess Boom will fly the route in about 4 hours.

I feel that you're getting diminishing returns at the point of reducing 4 hours to 3h30, given that flight time is just a part of the whole "door to door" time, there are several hours at least that aren't flight time, and that the expensive tickets all come with an hour or three in an airport lounge.
We will see by how much. I seriously doubt it improves productivity by a huge margin; if I had to guess, it would be in the ballpark of 10-20%. In the end, it's not the main driver for hiring or lack thereof. Companies that will need to get stuff done and that will be able to make enough money will hire as much as they need to get it done.
I'll. Mbmmv
Stumbled onto this randomly via the youtube algorithm.
>>Discovery code doesn't have to be bad code.

One of things that a lot of people are NOT used to- Always writing good code, no matter what you are writing it for.

A while back I was building a writing small snippets to fix a production issue. A colleague looked over my shoulder and said you don't have to do all that, just get it done for now.

He was quite surprised when he learned that is how I always wrote code. It feels like people have different coding styles for different situations. They do tend to have a mode where they are doing it for production, and they are quite slow at it.
Kernel, compiler, text editor: all must be free software, with full source code and permissive licenses.

I will die on this hill.

Closed source editors (including VS Code) are simply nonstarters for me.

This is my toolchain, my job, my life, my hobby, my passion. The legal prohibition on modifying it is against every single thing I sit down at a computer to do.

It might sound snobbish, but if you can’t (or don’t) modify your #1 tool (your editor), are you really a hacker? What are you hacking on, and why, then?
Looks to be the plan.
except you're now clapping for Laika successful return to earth, and buying Stalin meme coins, not buying jeans on the black market.

сбивает с толку how those can be confused.
That was my point --- Carnegie wasn't doing this alone.
There's a lot of thrashing about today on this subject. People have lost money and that's what happens. Spreading uncertainty may help them retrieve a few dollar and theories are free.
Cars are insured and the consequences of a stolen car are not very high. Big difference from losing your retirement account or proprietary ip of a business.
I agree it’s weird, but it’s protecting against this scenario:

BBC: “government bad”

Government: “hey everyone here’s a tax reduction! 50% less TV tax! (Oh and 50% less money for you, BBC)”

Realistically the board has influence, but money is the ultimate control and the ultimate test of independence.
Social media replaced blogging for most people so it's more or less the same thing.

I find myself wanting to blog again all the time but I tend to just post to Mastodon or bsky because at least then I know someone might read it.
Do you know if the regulations regarding contaminants in both soaps, as well as consumables, is more stringent in the EU (beyond the "Fanta-to-Fanta" comparison)? In other words, would you feel more comfortable eat something basic like bread and other consumables from supermarkets in the European Union vs the US, or not? Can you eventually share a few thoughts on this?
> OAuth2 is built to be super simple to implement client applications

Has this fallen through from an alternate dimension?
Why does it annoy you, if people keep talking about it?
also now full of AI slop advertisements

I've stopped paying them as a result
Negotiations between countries aren't really very different from those between companies. You have to understand what and how your counterparty is thinking, and when it doesn't, perplexity ensues.

«A senior UK government official said: “Over the last four or five weeks it has become clear that it won’t happen without early assurances on fish and mobility. We’re back to the ‘nothing agreed until everything is agreed’ world.”»

«“It’s a little perplexing for the Brits to claim things are stalled when they can’t tell us exactly what they want to achieve,” said a fourth EU official. “A defence deal as a first positive signal is fine. But a positive signal for what?”»

It sounds to me as if the EU people don't trust the UK people to agree on a modestly accurate roadmap, so they want more assurances, and the UK people don't understand that there's a degree of agreement between "nothing" and "everything is agreed", and that leads to a communication breakdown.
This runs smoothly even on mobile — nice work. WebGL is very neat.

I’ll be exploring your repo, thanks for sharing!
Adding concurrent read/write to DuckDB with Arrow Flight
I think about this a lot but think there's going to be a clear intersection of tools and problems where it just works. Would love to hear more about your perspective.
Is there really no legal way to go after gore posters (in spaces banning gore) ?

There should be - after all, this is akin to graffiti, which is typically fined.

What is not acceptable, is a platform creating a paralegal environment.
Author here, was surprised by how easy this was. The server is only ~50 lines of Python and it works quite well!
This article is about funding freeze for the NIH (National Institutes of Health), not the NSF (National Science Foundation) but I suppose the situation is very similar.
>...this thinking again assumes an oversimplified linear model: in practice, the rest of the world would not be able to absorb all of the lost opportunities in the US in a single job cycle, and some mathematicians may end up leaving the field entirely, or not obtain as enriching a career as they would otherwise have been able to achieve.

Has the author considered the possibility that there may be an misallocation of resources directed towards academia? If the work is valuable, individuals in the private sector will voluntarily pay for it. Decentralized market pricing is the method by which dollar values are assigned.

He could equally say, "My colleagues in the dig holes and refill them field have not received their grants for their important research. Think of all of the missed opportunities. This disruption may result in individuals leaving the dig & refill sector."
I dont think that is even Rails Specific. Laravel or Django would have the same effect compared to starting from scratch with no frameworks, which is what the original questions asked.
Some internal refactoring of ChatKeeper[1] to support a gui in addition to its cli. I could do this very quickly by just building a form that accepts all of its options but the point of the gui is to make it nicer to use for less technical folks.

1. https://martiansoftware.com/chatkeeper
Hi, not sure what happened with our email but should be working now.

The purpose of the model is to be used as a foundation to quickly build strategies through fine-tuning or as an additional feature to an existing model rather than be a standalone strategy itself.
not sure about that..

https://asiatimes.com/2024/10/huawei-uses-tsmc-loophole-to-b...
https://m.koreaherald.com/article/3399758
Adding Colour to macOS Folder Icons
I’m not sure how that relates to the article, but given your description couldn’t you hire someone to work remotely?
Another Dutchie here.

Anything not immediately fatal is indeed treated by just taking it easy and perhaps some paracetamol for the placebo effect.

I have a chronic illness in the same kind of category and it took me years to find out what it was and to get proper treatment. Which has improved my quality of life dramatically!

But even now I travel halfway across the country to a university hospital where a specialist takes me seriously, the GP is still a bit 'meh whatever'. I'm fairly sure he put a "psychosomatic/hypochondriac" flag on my file and never removed it when the specialists diagnosed me.

Our healthcare system has overcorrected on what they dismiss as 'aanstellerij' en 'Amerikaanse toestanden' and many in the field are actually quite proud of this.
No you misunderstand- it is super simple to pay some other company a small amount to do this for you. No complexity to worry about what so ever.

And if things require even a slim amount of thought and planning - chuck it to your favourite LLM and call it a day.

Just in case the sarcasm wasn’t clear I want to personally assure you that nobody ever will confuse an access token for an ID token. :p
I am the CTO of https://www.leexi.ai/ which is powered by a Rails API (Vue/Nuxt in the frontend).

I chose Rails 3 years ago when I started coding it at night because it was the stack I knew best. And I don't regret it, quite the opposite.

We now have thousands of customers using it daily and it has been nothing but a joy to create and maintain this app.
You can run the quantized versions of DeepSeek locally with normal hardware just fine, even with very good performance. I have it running just now. With a decent consumer gaming GPU you can already get quite far.

It is quite interesting that this censorship survives quantization, perhaps the larger versions censor even more. But yes, there probably is an extra step that detects "controversial content" and then overwrites the output.

Since the data feeding DeepSeek is public, you can correct the censorship by building your own model. For that you need considerably more compute power though. Still, for the "small man", what they released is quite helpful despite the censorship.

At least you can retrace how it ends up in the model, which isn't true for most other open weight models, that cannot release their training data due to numerous reasons beyond "they don't want to".
I find that I always learn something valuable by diving in and trying ideas out concretely. High-flying plans can also cause a lot of wasted coding on things that won't work out.
Yes, the market is very well known to price in future breakthroughs or externalities.

Especially when it comes to something like fundamental hard science and math that underpins most of our technological progress over the last few centuries.
Also the last B-1 was produced in 1988. The US hasn't had a long range super sonic bomber in production for 36 years.
Yeah you are right :) i mean i could use buf build but i think the problem is just more general.
In other words, there is a likelihood of 1/10,000,000,000,000,000,000,000,000,000,000,000,000 that the statistical result was due to random chance.

In more casual sciences p < 0.05 is considered the limit of significance, i.e. less than 1/20 likelihood of statistical testing favoring the tested hypothesis over the null hypothesis due to random chance
> As the leading builder of AI, we engage in countermeasures to protect our IP...

What do you mean "Our IP" for AI models, what about the stolen (copyrighted) data that was profited and taken from others without their permission, hence why news publishers all sued them?

At this point, the only valuable IP they legitimately have is the name "ChatGPT". That's it.

DeepSeek did more for humanity by giving it away for free than OpenAI did the moment they closed-up their models.
The team may not have too many PHDs but they are from prestigious universities and have published many papers.

The lack of a PhD probably has more to do with the structure of Chinese education but these people were basically studying like PHDs.

https://www.firstpost.com/explainers/china-deepseek-ai-full-...
That's not how you get diagnosed however, nor do I know if you would receive a diagnosis of adhd when a brain scan shows behavior similar to that of ADHD but you show no symptoms and aren't seeking a diagnosis. If you go in for an ADHD evaluation you typically get a psychological assessment, potentially do some tests which aren't always conclusive and your symptoms will be evaluated. In that sense, it's not really measurable in the same way that we can test for a specific disease, infection or virus.
At which point you should start protecting your loved ones by having a conversation about this not being acceptable behavior ?

Platforms seem to get a lot more leeway than abusing drugs (alcohol,smoking...) for some reason ?
Agreed. This is the basis of private research and development.
Musk is showing more and more that he is a fascist willing and able to invest in other fascists to help bring them to power. I would see preventing that as much more important than innovation.
i know cases exactly like this (UCLA and Stanford), wich no lawyer wants to touch. good lucky mr Zhao.
Actually I find it very impossible to do anything on deepseek. I asked some questions - it was doing well with childish things, but apparently it disliked that I questioned what Chinese think about Russia. It stalled all the other questions with reply that I have used too many queries(if that is really the case, then the bar is so low, that you can forget about asking programming questions).
That was yesterday - today it started to bully me by answering in Chinese. When I asked why it is bullying me, it froze.
Fuck this - any programmer can build their own model for what they can get from these sensitive and overcontrolling models.

PS Western models are also censored - if not by law, then self-censored, but the issue is for me is not censorship but being in dark what and why is being censored. Where do you learn about those additional unwritten laws? And are those really applicable to me outside of China or does companies decide that their laws are above laws of other countries?
Or $50 anyway. I have used miles to upgrade trans-Pacific and reluctantly even paid a few hundred $ co-pay out-of-pocket if I couldn't expense it. But I agree with your basic point. I'm almost certainly not going pay a few thousand extra even for a long flight out of pocket. I could but my money is limited and there are a lot better experiences I could purchase with $5K.
> If the work is valuable, individuals in the private sector will voluntarily pay for it.

Only if the work is valuable to the private sector. There are other types of value - academic, social, environmental, long-term - that often don't or can't motivate the private sector. That thing about governments being there to solve the collective action problem.
While not disagreeing with what you said, such "grab a drink from the fridge" things are always in a monitored environment. There are no unlocked public fridges even hyper-high trust societies like Japan or Dubai.
Drop a link if it's still open. Mission driven orgs sound fun.
You may have missed the sarcasm
So you want to remove the Ruby GVL
For me the question is the Nash equilibriums if people with libertarian interests don't at least trust governments to be a little predicable on some topics.. Hiring someone remotely doesn't really give them a visa where ever they want to be there are I think odd ideas of bilateral agreements to whatever state owns their nationality.
A few words about indie app business
People can also chose not to give money to a fascist trying to bring other fascists to power. As an American company, Apple should see that they have a moral duty to not pump money into the fascist.
Yeah, I also really like how that market put Humans on the moon & enabled the yeeeears of mDNA research that enabled covid to be tackled.

Is capitalism a cult?
Yes! Let’s direct all research by the behest of large corporations! Of course there is no intrinsic value in research unless it’s producing value for the market! Absolute dollar value is the only measure of value! The market is well known to accurately favour niche research and development that can accumulate over time to fundamental breakthroughs instead of short term profits!
If you're accesing, say, an Iranian site, SpaceX will obviously see that and can record it. If you're doing a VoIP call or sending a text, I'm much less sure they'd see where it's going - but wouldn't think it's out of the question.
Infracost (YC W21) Is Hiring Senior Software Engineers (GMT+2 to GMT-6)
We haven't forgotten anything - rather we were forced to remain silent.

https://blog.julik.nl/2024/03/those-people-who-say-no

I may do a writeup on how the mentioned things are very indicative of a certain org failure, since I've seen something very similar first hand.
As far as I’m aware it just goes to the bin, it’s not rm’d, so it is recoverable.
Fundamental research shows progress on timescales that are incompatible with most "free market" timelines, i.e. the stock market does not want a company to spend 10 years developing the science for something that only pans out after that time period and vastly prefers short term success.
From the comment section on github:

„imagine if you create a github issue and github automatically writes a PR“
To better understand AI Agents, I wrote an article
The contents of a session cookie are also readable...
Every such thing is going to have its blind spots. It does not really matter whether they are introduced deliberately or are merely emergent. They all mean wrong answers and every wrong answer potentially means people's lives.
You're only 1/3 right. Saved money isn't lent, nor spent (lending is just creating money). It's invested, 95% in the secondary market (probably more in the US). If the secondary market isn't correlated to actual production (and nowadays, it actually isn't, even in mining, prospecting and future are the main beneficiaries, which to me is crazy. One of the only exceptions is the energy sector), that money won't create real jobs.
Sure, that is nice - though TBH that kind of feels like a workaround for Svelte's one file, one component design. React doesn't have this issue and can define as many components wherever you like.
I bought sublime text 3 over a decade ago. What are the top new features of sublime text 4 that make it worth upgrading too?
Losing It on Live TV
You can ignore it, the commenter clearly has no idea what they are talking about. PTX is literally the instruction set that Cuda, Vulcan and OpenGL compile to on Nvidia cards in the end. It's assembly for GPUs. And it's infinitely harder to work with. Go to an average technical university and you'll probably find quite a few people who can write Cuda (or OpenGL or Vulcan for that matter). But it would be very surprising if you can find even a single person that can comfortably write PTX.
You got what you wanted from the model, why are you unhappy with the results? It is not as if chatgpt and claude don't also restrict users for small "ToS violations".
In my home country of Smugistan, greatest country in world, banks unnecessary. Check-outs take money directly from brain waves using technology invented by Smugistanian super computers. Money is crypto backed generated from farts released by citizens of Smugistan. Also, farts smell like roses.
OAuth2 is a very simple method to solve a very complex problem. Every part of it has a good reason to exist.
Unfortunately, OAuth2 is also used by applications that don't actually have the complex problems OAuth2 is trying to solve, which makes it look unnecessarily complex.

Thankfully, just about every language and framework has OAuth2 libraries available so you can use it by copy/pasting four strings, whether it's a good fit or not. That's probably why it's overused as well, to avoid difficult integrations of simpler, custom schemes.
I have neurological abd muscular issues after covid
Hi, I couldn't glean from the articles. But it sounds like you have breathing issues from long covid? it may sound ridiculous, but I developed gluten/lactose sensitivity during covid times. If I avoid gluten, lactose, canola oil I get far fewer symptoms. I know this likely isn't your issue but I do experience positive airway pressure, coughing, burping, chronic fatigue, exessive yawning. If that sounds like you maybe a dietary intolerance could be worth checking. For what it's worth, no doctors could diagnose me, they thought I had heartburn or "its in your head". It wasn't, cutting those things out did actually help enormously.
Boom’s real challenge isn’t just showing they can go supersonic—it’s designing an engine and airframe combo that can operate at scale, hit reasonable ticket prices, and address stricter environmental policies than Concorde ever faced. The XB-1 proves they’re capable of building a small supersonic jet, but the gap between a funded prototype and a viable passenger fleet is enormous. Unless they can tackle those regulatory hurdles (especially around overland noise), keep operating costs competitive, and deliver a new engine that supports their performance claims, we’re still not much closer to a reliable Mach-plus commercial service than we were in the 1970s. It’s progress, but we shouldn’t confuse a cool proof-of-concept with a profitable flight network.

Any case - truly impressed by their persistance. Pushing something for such a long time despite being so far from any commercial traction feels insance to me.
Leveraging DeepSeek R1 on AWS
One time I was really hyped about so-called "molecular surgery"[0] - a technique which promised forming cartilage tissue - so the septum, tendons or even the cornea - with little effort and, crucially, no heating. The research looked as it was in an advanced stage with demonstrations on live specimens and whatnot.

Never heard about it again.

[0] https://www.sciencefocus.com/news/molecular-surgery-gives-pa...
This drove me insane a little while ago. Every single "personalised" Spotify playlist that got shovelled my way had a bunch of songs on it from Olivia Rodrigo's latest album, regardless of whether they fit the playlist theme or not. I don't listen to Olivia Rodrigo, and consistently skip her songs when they come up because they just aren't my cup of tea, but Spotify continued to shoehorn them into every playlist I listened to.

Same thing with the AI DJ. There are some days where it just never misses, and I can listen for hours without skipping a single song. Other days, it feels like every other theme is "here's an artist we've been paid to advertise", and I end up getting tired of it pretty quickly.
Yellowish Nodules on a Man Consuming a Carnivore Diet
> Screen readers and many kinds of web accessibility are barely useable, all that... because we have forgotten about session cookies.

No I feel like screen readers and many kinds of web accessibility are barely useable because we forgot about screen readers and web accessibility.
Generally speaking, conservatives are ambivalent on the topic of education and research. Why they may benefit from uneducated voters, they understand the value of qualified labour for their businesses.
Doesn’t 5G from space cause all kinds of issues with other things? Even if they share terrestrial spectrum, it will be broadcast from the sky.

This seems like a stupid idea on so many levels.
There are two times in a man's life when he should not speculate: when he can't afford it, and when he can.

Mark Twain