skysight-inc/HackerNews huggingface dataset:
> The eternal debate between dynamic and static type systems concerns the tradeoff between ease of prototyping and long term maintainability ... Unfortunately, the training corpus highly emphasizes Python and JavaScript.

Anyone have experience here with how well strong static types help LLMs? You'd think it would be a great match, where the type errors give feedback to the LLM on what to fix. And the closer the types got to specifying the shape of the solution, the less guidance the LLM would need.

Would be interesting to see how well LLMs do at translating unit test examples and requirements in English into a set of types that describe the program specification, and then have the LLM generate the code from that. I haven't kept up here, but guessing this is really interesting for formal verification, where types can accurately capture complex specifications but can be challenging to write.

I find it quite sad that it's taken so long to get traction on using strong static types to eliminate whole classes of errors at the language level, and instead we're using super AI as a bandaid to churn out bug fixes and write tests in dynamically types languages for properties that static types would catch. Feels backwards.
Wholly untrue. The have been 14 NASA Administrators over the course of 13 presidential terms. Each is appointed by the president.
I can’t understand how you can say DSL and YAML in the same sentence and say it’s fine. YAML is a serialization format. A bad DSL would be a welcome improvement over GHA pipelines in YAML. You’re fundamentally confusing concepts here, you want to restrict flexibility (I agree with that btw) by using a simplistic language, but what it actually does is increase complexity of the code comprising the pipeline with zero hard restrictions.
I was on-call for over a decade, usually in roles where there was no compensation for working out of hours other than maybe TOIL. We're not talking FAANG gigs here - like £20-50k in the UK stuff. It's amazing how much having to carry an extra phone or making sure your laptop is in your car impacts your day-to-day life. Any social thing you're at could be interrupted at zero notice. Heck, I've taken calls in supermarkets and concert venues.

One place I worked had a 1 in 2 rotation. Every other week on call or weeks back to back if your colleague was on holiday. There was no front-line service screening calls which meant you could be woken several times in one night. All for £30 pcm towards broadband costs.

Most places are more sane than that example but suffer from the same core problem. Follow the sun support is incredibly expensive when compared to putting your existing staff to be on call. Here in the UK, so long as your equivalent hourly rate doesn't drop below national minimum wage and you're opted out of the working time directive (a lot of employers slip an opt-out form into your paperwork implying it's normal to sign it), then it's legal.

Unfortunately I'm yet to find anywhere that on-call operational teams have the clout to get code induced issues high up the priority list outside of cases where they've had to drag developers out of bed at 2am. In my experience that also plays out with getting anything infrastructure based into tech debt budgets. Why focus on fixing problems you don't directly suffer from when you can spend the time on a refactor, integrating a cool new library or spaffing out one more feature in the sprint?
If you're not smart enough to make use of a optimal or even acceptable solution, the quality of the LLM answer doesn't matter.
Blue Sky App – The Twitter Alternative hit 32M users
> Is it surprising that silicon does too?

Given that human brains and silicon has nothing in common, then yes, it is surprising. What makes you think otherwise?
That's my point -- such things do exist already. Amazfit is an example.

They give you the fitness-tracking functionality of a pure-play fitness band, plus they sync to your phone so you get notifications on your wrist -- answer and reject calls, read messages, reply with a thumbs-up or whatever -- and you get the fun stuff like customisable watch faces.

And they are well under $100.

It's already a product category, but many people seem unaware it exists.

Much the same as the high-end budget smartphones. I've had a couple of decent capable modern Android phones that were under $200 new. This is a thing that exists, but the folks that follow fashion don't seem to realise.

I spent years being relatively poor and in serious debt. You learn to live without luxuries, but if you're smart, you find the ways to get good stuff cheap.

A $150 smartphone can deliver 90% of the functionality of a $1000 smartphone. In the same way, a $75 smartwatch can deliver 70-80% of the functionality of a $500 watch.

And TBH, I know which I prefer. Phones and watches live hard lives, for electronics, and they are easily lost, stolen, dropped, broken, etc.

I would rather have a $200 phone in my pocket than a $1000 one, because I know the risks, and if the 4-digit-price one gets damaged or vanishes, that hurts my budget... but I can tolerate a low-3-digit loss more easily.
Wait until legitimate users start getting their fake responses. Who is willing to trust this company to serve random data?
> An avg price for a normal watch is $100-$200.

No, it really is not.

Take off a zero.
Ah yes. I remember having to do something similar. My connection was via 3G on an old Sony Ericsson K750, which was acting as a Bluetooth modem.

I think I did manage to get about 5k/s by placing it at various points around the room, but it was mostly dropped packets and 1k down.
> The game Myst is all about this magical writing script that allowed people to write entire worlds in books. That's where it feels like this is all going. Unity/Blender/Photoshop/etc.. is ripe for putting a LLM over the entire UI and exposing the APIs to it.

This is probably the first pitch for using AI as leverage that's actually connected with me. I don't want to write my own movie (sounds fucking miserable), but I do want to watch yours!
> It is not "even worse" in any of the western countries. The border control people in most western countries are actually friendly. They are polite, sometimes even, gasp, smile at you.

That has also been my experience with the US. YMMV of course.
The rise of the "Neo Cloud" GPU providers
Specialised GPU providers are emerging as challengers to cloud giants in AI deployment, offering tailored performance and cost advantages. Mark Venables explores whether these alternatives can truly rival the scalability, integration, and support of traditional cloud ecosystems, or if a hybrid approach is the smarter path forward.
I just helped a neighbor with a remote application for unemployment insurance in New York.

She’s 77 and has a TracPhone. It has a camera and browser, but the state’s website does no support the browser.

Alternatively, she could visit a local business to perform the digital verification. And that’s what she did, costing $20.
False equivalence.

My points stand, intact.

If this thing wants to comete with YouTube no matter it position in the stack - especially at the top of the stack...... it must look awesome.

Yes, the back end web site must look awesome to compete with YouTube.

"Design and UX don't matter cause we are just engineers" is what led to Mastadon being rejected by users even when Elon Musk/Twitter gave Mastodon the biggest free hit it would ever get.

"This can look garbage cause its back end" does not work when your site aims to take on YouTube.

And if it does not aim to take on YouTube as some other commenters have said, then what's the point of it?
I've been suspecting this for years now:

> An analysis of the 100 most-viewed TikTok videos related to ADHD revealed that fewer than half the claims about symptoms actually align with clinical guidelines for diagnosing ADHD.

There is a lot of people claiming to have ADHD simply to avoid taking responsibility for their actions or inaction.

I've had this strong feeling for a while, culminating in seeing someone close to me consume a ton of content on that matter and starting to self-diagnose ADHD and other issues.

I'm also skeptical on ADHD diagnoses: I've seen with my own eyes somebody "deciding" they have ADHD, consuming a ton of content on the subject and effectively learning what to say during the examination (which is essentially an interview, so you learn what to say and what not to say) and then getting an ADHD diagnosis... And then proceeding to use that to reject any blame: "oh i'm sorry, it's my adhd ¯\_(ツ)_/¯"

It doesn't make sense, and it hurts people actually struggling with real ADHD.

Also: in my opinion not only "young adults" are being affected.
I don’t know what “nonpartisan” means under a government that has no tolerance for anything but the party line …

To make matters more complicated, it’s a party line driven by just the executive branch that decrys big tech and then empowers them to run the state / threaten judges, a party that talks about free markets and then does car commercials / shills for stock / scams for cronies…. Can’t even keep straight who started a war. You could just be a woman and/or minority in the armed forces and you’re subject to their version of being cancelled.

It’s a party line that at times changes it’s mind on a whim / seems senile. You could be the biggest sycophant and find yourself not toting the right line.

Nothing is “nonpartisan” under such a system.
BTW: Most compiled languages have good linkers and postprocessors. They strip out unused executable.

The compile might take a while, but the resulting binary may not be as big as you think.

This does not apply, however, to interpreted languages, like JS.

Not sure about "JIT" languages, though, like Python and PHP.
Any simple examples?
CDK has high level constructs like aws_ecs_patterns.ApplicationLoadBalancedFargateService etc. It seems like the above could be implemented as high level CDK constructs. So you could make common things simpler, but have the full CDK to change details if needed.
Ohh, so it's like carrying your udp packets inside tcp stream, so VPN (Virtual Pierogi Network) so that you can avoid SPF (Slavic Pierogi Filter). But keep in mind that it won't help you with DPI (Deep Pierogi Inspection) unless you scramble your gyoza inside pierogi layer. Still pretty handy when trying to import gyoza into slavic countries, but useless otherwise, because typical gyoza are not much smaller than pierogi, so you won't have any usable multiplexing, maybe max 2 gyoza per pierog and the shell is very similar anyway.
Shameless plug: I wrote a "JSON Tagged Union" package for go: https://github.com/benjajaja/jtug

Let's you decode something like

[
{ "type": "A", "count": 10 },
{ "type": "B", "data": "hello" }
]

into some go like:

type Tag string
const (
A Tag = "A"
B Tag = "B"
)
type StructA struct {
Type Tag `json:"type"`
Count int `json:"count"`
}
type StructB struct {
Type Tag `json:"type"`
Data string `json:"data"`
}

by writing a (subjectively) minimal amount of boilerplate:

type Union = jtug.Union[Tag]
type List = jtug.UnionList[Tag, Mapper]
type Mapper struct{}
func (Mapper) Unmarshal(b []byte, t Tag) (jtug.Union[Tag], error) {
switch t {
case A:
var value StructA
return value, json.Unmarshal(b, &value)
case B:
var value StructB
return value, json.Unmarshal(b, &value)
default:
return nil, fmt.Errorf("unknown tag: \"%s\"", t)
}
}

This shows that now it's possible to use `json.Unmarshal` directly:

var list List
err := json.Unmarshal([]byte(`[
{"type":"A","count":10},
{"type":"B","data":"hello"}
]`), &list)
for i := range list {
switch t := list[i].(type) {
case StructA:
println(t.Count)
case StructB:
println(t.Data)
// etc.
}
}

Of course, it relies on reflection, and is generally not very efficient. If you control the API, and it's going to be consumed by go, then I would just not do tagged unions.
Musk lying...never :-)

https://www.rollingstone.com/culture/culture-lists/elon-musk...
Probably for domestic protection more than face value. Western licenses certainly have similar clauses to protect against liability for sanction violations. It's not like they can actually do much to prevent the EU from gaining from it.

North Korea? Maybe. Uk? Who gives a shit
Indeed which is why they are discrediting it ;)
Wait, so the "ruler guides" are misnamed, they are just "rules"?

In any case, the things they added could very well have been called "column-divider" and "row-divider" with much less ambiguity because not everyone who has to wrangle with CSS is a designer by profession or by choice.
I love this comment but I don't understand the "linked list" reference. What aspect of physics/the universe is that referring to? Also why does the maximum speed enable sharding? Struggling with that part too haha.
Somewhat but not competing with its customers has been a central part of Arm's proposition for three decades, for good reason. There are at least a lot of competitors for Nvidia's design. Your options if you want to build a server core are a lot more limited.
This resonated with me, having such a passion for computers, yet sad at what this industry has brought us.

> There’s a good chance this page wouldn’t exist had I not read Timothy Snyder’s powerful little book, On Tyranny

This is such a great book. https://timothysnyder.org/on-tyranny
ESTA applications ask for your social media accounts even before you get to border patrol. You can of course omit them but that may or may not backfire. I have only ever listed GitHub since I don't really use anything else they have in the drop down.
this sort of comment is exactly why i flag this sort of content, to put it kindly, you're sort of missing the point and using a strawman argument
The point about basic engineering concepts is spot on. But I wonder how much it has to do with the creeping in of superficially educated "tech" people across technology sector. Not to downplay the value of self-learning (am a bit of autodidact myself), but the amount of people who switch into the mythical "tech" who have never heard of a differential equation is worrying. Hence companies unfortunately really seem to need to explain concepts like feedback loop to people who only ever heard of it in the context of performance review. The article itself is a word salad though, the start reads like a SEO-optimised cooking blog ;)
> Adding a border changes the size of the items, which might not be desirable

This issue has been addressed for well over a decade.

Is the first line of everyone's css files not just:

* { box-sizing: border-box; }

That makes borders figure on the inside of the width rather than the outside. It's far more sane to reason about.
C and C++ also use 8 bits in most cases. One reason is to support pointers, ie `bool *`.

You can get a single-bit bools in a C++ struct, with eg

struct foo {
bool a:1;
bool b:1;
...
}

but you can't take a pointer to such a member.
Iirc a judge stopped the systematic requirement to inspect, but if you're not a citizen and refuse they can put you in the deportation gulag for a couple weeks and I guess not look at the phone. Not legal advice.
There are so many accounts of Hamas militants executing innocent people from that event.
Here is one:
https://www.bbc.com/news/world-middle-east-67105618

Here is two:
https://timesofindia.indiatimes.com/videos/toi-original/watc...

Should I go on? There are so many... I think it holds water pretty well, doesn't it?
Yes, that is awesome. I wonder if "go" works like that also?
Show HN: I made a UX friendly social media scheduler
Hey!

So yeah I made a social media tool, yes I know.. another one.

It's a simple way to schedule your content.

You can:

• Switch between up to 20 workspaces

• Setup recurring posts (weekly, monthly)

• Get suggested posting times

• Get suggested hashtags

• Correct your grammar with one click

• Schedule on the go (mobile friendly)

Would love to know what you think!

Always looking to improve.

Check it on: socialrails.com
you certainly could... but when you're spending mac-pro money you might as well get a machine with built-in ipmi.

it's not that you can't -- it's just inefficient: you're spending more money for less features.
No flatpak / snap for latest version and automated upgrades?
I often set gaps between elements to 1rem or more. Coloring the gap wouldn’t be the same as adding a rule.

My “theory of layout” is that no element should have any styling that relates to its relationship with other elements. Gap is very useful for establishing spacing.
A86 was the assembler I used too, with a well-thumbed set Ralph Browns interrupt list printouts.

It's kinda fun to go back to writing code in assembly for CP/M systems nowadays, even simpler than MS-DOS due to a smaller set of system APIs.
I think it speeds up because we settle in a routine, and when every day is mostly the same the brain just compresses the experience. The younger you are, the more new everything is around you, and you may not know yet what is worth trying or not, hence more things happen, and that makes it appear to last longer.
I don't have a makefile example, but I do functionally the same thing with shell scripts.

I let GitHub actions do things like the initial environment configuration and the post-run formatting/annotation, but all of the actual work is done by my scripts:

https://github.com/Hammerspoon/hammerspoon/blob/master/.gith...
Yeah, statistical significance can tell you nothing about systematic errors you're unaware of or errors in the statistics itself
Security is about risk management. If the value of what you’re protecting is low, or the consequences of not accessing something is high, than the MFA control may not add value.

The problem is in general people are really bad at assessing risk. You tend to see extremes.
The company that funded the study are disavowing/discrediting the results.
MIT: Update to International Travel Guidance
And Shatner is utterly perfect for it, in a very, very strange way.
Claude Sonnet 3.7 really, really loves to rewrite tests so they'll pass. I've had it happen many times in a claude-code session, I had to add this to each request (though it did not fix it 100%)

- Never disable, skip, or comment out failing unit tests. If a unit test fails, fix the root cause of the exception.
- Never change the unit test in such a way that it avoids testing the failing feature (e.g., by removing assertions, adding empty try/catch blocks, or making tests trivial).
- Do not mark tests with @Ignore or equivalent annotations.
- Do not introduce conditional logic that skips test cases under certain conditions.
- Always ensure the unit test continues to properly validate the intended functionality.
I never said that idea of using single number is bad in itself, what is bad is forcing this single number and it's calculation on everyone else like it is some biblical revelation instead of calculating it ad-hoc (and modifying calculation as need requires), I can only hope c-suites can add and multiply

as for if you can compare multidimensional quantities - of course you can do it and it is done every day with engineering and medical data, it's just tad more complicated than adding and multiplying so it's a no-go for c-suite

you cannot expect people earning six figures to understand actual math, can you?
well for starters, if you're writing for a tech news website, maybe just stick to tech news instead of injecting politics into absolutely every part of our lives. tell me about some new phone or video card and keep the political rants for your twitter.
AI hallucinations: ChatGPT created a fake child murderer
It's so space can expand without increasing the Planck length
Yeah spot on, this was definitley it. I now remember reading this probably right after it came out and being somewhat proud to be able to tick most stuff of the list without ever being told directly to do so. But the 'Can you make a build in one step?' was not one of them so I figured that since the rest of the list made so much sense, I'd better get started on that one as well.
I also really like that most of this list is practical, low-level advice. No 'use tech X' or 'agile ftw', just basic stuff which automatically happens anyway if you'd opt to use tech X or agile - should those be the right tools for the job, but which would cause more friction if not.
But is Pelosi buying it?
The Metals Company should have taken the advice of Sir Humphrey Appelby in Yes Minister,

"Minister, two basic rules of government:

Never look into anything you don't have to.

And never set up an enquiry unless you know in advance what its findings will be."
The nominations for Golden Groveler: https://www.youtube.com/watch?v=jVJMqmKNfC4&t=641s
So God Made a Farmer
Ohh I think I understand. Thank you!
Actually only the first screenshot is a review of my application, I asked some friends for their credentials to test the information disclosure out. (you would only get 1 review per application)

Sorry if that wasn’t clear in the blog post!
Zed Editor: Out-of-your-face AI
Neat tool!

Not sure I agree with the choices on the AWS side, particularly lambda and dynamo. They seem great when you first start, but I've found the pain comes with maturing code.

As professionals, we should always plan for our code to live longer than we thought originally, and supporting new use cases not in the initial design.

A cheap always on server and a hosted RDBMS are going to go a lot further for next to the same mental overhead.
Yes but that would indicate deeply rooted issues in many cases.
I expect Apple will react to this by scaling down the sophistication and breadth of features they make available to EU users.

That most of these capabilities exist at all reflects Apple’s belief that they’re a way to differentiate their (closed) ecosystem through vertical integration. If the EU takes that away, Apple’s motivation to invest in these areas for EU customers goes away, too.
It's a decent idea, but it feels like it would have been more useful a decade ago.

With modern CSS you can typically handle separators with a single selector and property like:

.things .thing:not(:last-child)
{
border-bottom: 1px solid gray;
}

They touch on this in the article but I feel like they're overselling the frequency of edge cases.
The entire concept of being nonpartisan strikes me as dumb. If you want an effective government, that is. The parties are far more similar than they are different. Partisan claims are therefore a) trivial and largely meaningless, b) obviously positive for everyone and impossible to politicize, or c) obviously bad for the country. The remaining issue is, I think, abortion, which has some value judgement not based on warping the framing of the issue to fit the party platform of the day.

99% of the coverage of doge's takeover still seems trapped by the concept that one of the two parties surely has some good idea about how to run the country. I'm not sure that's a viable opinion anymore.
> I use GH actions. You should treat it like all build systems: let them do what they are good at and nothing else. The rest should be shell scripts or separate docker containers.

That's supposedly CICD 101. I don't understand why people in this thread seem to be missing this basic fact and instead they vent about irrelevant things like YAML.

You set your pipeline. You provide your own scripts. If a GitHub Action saves you time, you adopt it instead of reinventing the wheel. That's it.

This whole discussion reads like the bike fall meme.
As cool how unified the Apple ecosystem is, I do think the EU is right that it's extremely unfair for Apple to give its own smartwatches access to the phone that other smartwatches have zero chance of getting access to.
“Maybe we can manufacture a mental health epidemic?”

Wouldn’t be the first time
It helps with iteration - you can try out different concepts and variations quickly without having to wait, especially as you refine what you want and your understanding of what it's capable of.

Also, in general, why not?
Dutch Parliament: Time to ditch US tech for homegrown options