skysight-inc/HackerNews huggingface dataset:
Show HN: YAML vs. DSL Syntax for Declarative Languages
OPA/Styra founder here. I've long held the belief that part of the reason declarative languages are useful is that non-experts can use them without needing to learn the ins-and-outs of programming. That by restricting the language's expressiveness, we can build compilers/interpreters/evaluators/... that deeply inspect and understand the code, e.g. resulting in automatic performance optimization that in traditional languages developers would be doing themselves.

If that's true, then what we really want is a way to give everyone a syntax they are most comfortable with, so they have the shortest learning curve. Some people like declarative languages; some like imperative; some want configuration files; some dislike learning languages and want a GUI; some want to use natural language. So in the end we'll end up with N syntaxes (broadly-construed), each tailored to their audience. A declarative language is (often) all about logic after all, so why does the syntax actually matter?

I pushed this thesis a bit and designed a YAML syntax for Rego (OPA's policy language), in addition to the DSL OPA has supported for years. More interestingly, I put together a translator that moves the logic back and forth between the YAML version and the DSL version. The idea being that people can write policy in whichever syntax they prefer, and tooling can translate between. Not complete yet, but far enough along to get a feel for it. Longer term, I could imagine a python-inspired syntax; one for golang; etc.

It'd be great to get feedback on a couple of things.

1. Overall value of multiple syntaxes for a (declarative) language with tooling to translate between.

2. Thoughts specifically on whether adding the YAML version of Rego demoed here seems beneficial.
Yeah I was thinking more about q6_0 or so. The q4_K_M is 404GB so you can still push it a bit higher than that. Obviously the 1.52 bit doesn't make sense.

I'm never going to pay 10k for that though. Hopefully cheaper hardware options are coming soon.
Ha haa, that is fantastic. You should have joked and said - "I'd like to keep things even between us, how about $2?"
> * Is the VPN model really the way to go? If someone gets their hands on one of your Tailscale nodes, they can access every service on your tailnet, which are likely running with reduced security since that's a huge part of the appeal. This is exactly the situation BeyondCorps/Zero Trust was created to avoid. Tunneling services[0] are more of a Zero Trust approach, but they can't match the seamlessness of Tailscale once a node is connected to the tailnet.

At the very least there's ACLs so you can tag devices and restrict access down to specific ports and protocols based on either user identity or device tag.

At my org we use tailscale much like a VPN, to give users access to a few internal web apps, and with ACLs those users can only hit the webserver on 443 and nothing else to that node. This way the web server itself has no ports exposed on the host, ufw deny all incoming.

I can't answer if the VPN model is really the way to go, long term - probably not, but for our use case Tailscale has been absolutely perfect, and we accepted the tradeoffs were worth it over a more "complete" zero-trust approach, and the complexities that come along with it.

What Tailscale doesn't solve is access to the data that web app serves if the user's machine is compromised, as tailscale is just determining "can the user hit the webserver on port 443?" and does nothing to evaluate the state of the user's host.

I guess that's all to say, I/we don't see Tailscale as a zero-trust solution, but more or less a more convenient VPN with easier to use ACLs. Cloudflare Tunnel and the likes are much better suited to implementing a zero trust approach.

I think there's still value though. A zero trust approach is the correct way for most organizations, but there's still a big niche for Tailscale especially for small-medium orgs and self-hosters/homelabbers.
Don't visit sites with ads.
We do need some of that, but I’m not sure Russia has any to sell :)
Right. So the question is: given that NATO is now a lot weaker because of the US, it's not clear whether the promises of mutual defence still hold. Do I understand that correctly?
> None of the systems you listed will protect against an 80% majority wanting to force through specific legislation

Close to impossible to say without consideration of specific implementations of the exemplary sub-frameworks proposed.

> a more fleshed out example

A John Rawls like framework of common best interest in not appointing beasts, coupled with criteria to discriminate beasts? The point is not about providing a detailed solution here, but in pointing in a direction beyond simple, lacking forms of democracy, suboptimal in theory and in results. If you have naïve processes in place, faults will eventually show: the system must become resistant. A large number of possible improvements can be considered: the point remains that they must be studied - this has never been the "end of history", if only because in too many systems the fool and the bright have similar impact.

And I need to say: like in all systems, checking what went wrong, why it went wrong, and implementing solutions so that it will not go wrong again.
Forget McDonald's. This Chinese Fast-Food Chain Is Now the Biggest
> But now Dell discontinued XPS

https://www.dell.com/en-us/shop/scc/scr/laptops/appref=xps-p... ?

Sure doesn't seem to be discontinued at all?

And just checking the XPS 14 it has both 2tb and 4tb storage options, and the 3.2k OLED screen is higher resolution than what Apple's 14" offering contains and it's 120hz.
These are great. They run stock linux too and it just works.

My coworker has one. It will probably be my next portable workstation.
Like when you use that last discard to attempt to draw the flush five.
Worst of the worst is certainly what the media parroted. However, from 2011

A newly found 2003 memo by former Defense Secretary Donald Rumsfeld appears to directly contradict claims that Guantanamo held only the “worst of the worst” suspected terrorists.

“We need to stop populating Guantanamo Bay (GTMO) with low-level enemy combatants,” Rumsfeld says in the memo, addressed to the chairman of the Joint Chiefs of Staff.

https://web.archive.org/web/20210827120559/http://voices.was...
> guess cattle is doing quite well if your metrics is the number of individuals

I live in ranch country. Cattle do fine. They’re wild animals that live much like the bison, on the same land as the bison, except they get food and medicine and don’t have to worry about predators tearing them apart alive. In exchange, we kill them relatively young (though not that young risk adjusted), and that varies from place to place. (Dairies are more industrialised.)
You need to be a student of history, otherwise you’ll be blinded by the present and make these kinds of very wrong conclusions.

The US was the world leader in railroads. US cities had state of the rail based public transit systems. LA had the most extensive streetcar system in the world. Even St Louis used to be as accessible as NYC.

People changed because corporations lied to the public and meticulously destroyed public transit in the US.

People can change again.
Hell is other row-butts.
Just today he's threatening "American students will be permanently expelled or, depending on on the crime, arrested" for "illegal protests" by which doesn't sound very American.
Ukraine probably does not. Is Russia willing to risk the possibility of US/EU troops ending up on the other side of the trenches? Probably we’ll never know now, and maybe that’s better. But is it better that Russia knows maybe three years and the US might call it quits?

My country, Norway, shares a border with Russia. We have 5.5 million people. Would the US abandon us because we’re running out of troops? That’s the question we’re asking ourselves.
may you share link to GrapheneOS? i was not able to find
The Epyc would only set you back $2000 though, so it’s only a slightly worse price/return.
I very much support this sentiment! If we want a decentralized internet, we need to stop relying on large companies to manage everything for us. Git was designed to be a p2p system, but we very quickly centralized it with forges like Github. It is very discouraging. Most of the internet is like this now--managed by a handful of very powerful organizations. There is no end to the problems this will cause.
You should really read The Wealth of Nations before you talk about currencies needing "backed" or "intrinsic" value. It's not in the definition of money at all.
China has to flip a money switch and woops now they have a middle class.

Everyone else?
> At the very least we know consistent language and vision abilities don't require lived experience.

I don't think that's true. A good chunk of the progress done in the last years is driven by investing thousand of man-hours asking them "Our LLM failed at answering X. How would you answer this question?". So there's definitely some "lived experience by proxy" going on.
Tailscale is super awesome, I was amazed when I first set it up that it just worked out of the box. It can be set up by everyone without having to expose ports on the router (something that is often not even possible anymore due to CGNAT), so you get a lot of convenience without giving up security
I have an HL-L2370DW, since probably 2020 or 2021. I've installed multiple third party toner cartridges in it, as recently as last week, and never had any problem. However I also have never knowingly updated the firmware.
Yes. There are multiple papers written about this, here's a nice overview article: https://www.nacdnet.org/wp-content/uploads/2019/04/bisoncoll...

There was overhunting of bison, but normally overhunting leads to a gradual decline of the population (and we've seen that with overfishing). The bison near-extinction happened within _one_ year. The hunters in 1883 were waiting in vain for the bison to come.
Well, the rumor is that Apple has secretly appealed the order (which is officially secret) to whatever secret tribunal reviews such secret orders to create secret features giving secret government investigations access to various people's secrets. The Court of the Star Chamber, I think it's called.

Which is at least Apple doing something vaguely like fighting. But, yeah, UK citizens might want to think hard about doing something about the situation themselves. For one thing, Apple will probably lose. And the US government isn't going to have Apple's back against the UK, either.
Some people might prefer an ad which is relevant to their location over something extremely generic and less useful.

Sharing location does not necessarily need to impact privacy.
Is the performance gap so huge? Power efficiency yes, absolutely, but for peak performance last I saw the last AMD vs M3 benchmarks were a slightly slower single core, and a little faster in multicore. Doesn't seem as world changing as described.
"if you are rich, life is good" can be said about anywhere
Probably the upsides are specific/micro not macro. On macro scale, this is consumption tax. It will raise revenue for the state and reduce debt or fund state activity (Trump dislikes that) and it will reduce consumption so it's net deflationary but since prices rise... the CPI rises.

Micro, specific companies and industries may benefit from book orders which displace imports and maybe some of that creates jobs and puts money in the rust belt.

Longterm, trade moves elsewhere. Why wear risk of dealing with the US? For non substitutable product you have to but for everything else, you'd avoid it.

Probably the global economic hit is awful, net.

The retaliatory effect on exports is for the beneficiaries an externality and also delayed since its new orders. Probably this is far, far worse than Trump thinks.

I read Paul Krugmans substack. I'm not an economist and will probably be corrected on all of this.
Computerphile made a video about Carbon
> The only conviction of these guys is money and power. They are not liberal or conservative, they go with whatever gives them an advantage at the time.

The parties, or the billionaires? (Or both?)

Because I've spent most of my adult life being mildly perplexed why the Democrats are called "liberal" when they're pretty conservative, and more recently the Republican party today is about as far from "conservative" as it's possible to get.
One of the most regrettable things I did was stop writing code. There were the usual things; to busy to keep it up, not a good look in mgmt circles, keep coding hurts your upward mobility potential etc., all true, but I felt I was on a slippery slope towards effectively managing development.

Tech is in constant flux. While the basics rarely change, and yes, there is a lott of reinventing the wheel in programming approaches, thongs do progress and you feel your grasp weakening.

So now I code again. Not daily, but enough to complete some projects on my own. It feels great, and it definitly has a positive impact on my overall capabilities.
Why does someone always have to chime in “But humans can be bad, too!” We shouldn’t advertise for these companies by denigrating other people.

The app economy sucks.
> The single source you’ve put forward, World Without End, doesn’t support your assertions.

Clearly you haven't read it, have you?
> The main product made by the US is the dollar,

Very good point and one that not a lot of people understand.

There is also a tipping point at which governments will look elsewhere for a reserve and trading currency. Yes, today the USD is king, but that's in part because China's efforts to make the RMB a reserve and trade currency are half-hearted as they conflict with its efforts to retain an iron control over its currency exchange rate.

If the USD loses its preeminant status as _the_ global currency, the US is in very deep trouble.

This plays into the Middle East in ways that many people don't realize. The Gulf countries only sell their oil for USD (in exchange for protection from the US). The US has a very big stake in that continuing to be the case. Now granted, they are less important than they used to be because of fracking, but still a major player. (Some people say the invasion of Iraq was because Sadaam threatened to start selling oil for EUR instead of USD. I don't know if that's true or not, but it's definitely a plausible reason.)
The government doesn't make as much as the ticket printers and lottery machine manufacturers/owners. It's not about the money for the state. It's about the lobbyists who are now entrenched, same as virtually any US lottery.
I guess I won’t be needing that 512GB M3 Ultra after all.
Well, since the internet is international, how do you propose that you make legislation that will keep your kids “safe” from international sites?

This isn’t hypothetical, right now there is a law in Florida where porn sites must verify the age of users. I’m sure you would be shocked to know that kids can still get to porn sites without age verification. Sites not based in the US just ignored the law.

However, you can still use parental controls to block those sites.
My ISP, Metronet, is mostly CGNAT. That broke some things for me, so I called in and they gave me a "free" static IP to fix it. Except, once per year they start charging me for it and I have to call back, and then they make it free again.
Is this real? (I thought they got bought out[0]) Is the URL wrong?

[0] https://stackoverflow.blog/2021/06/02/prosus-acquires-stack-...
They can arrest you for anything. I’ve been arrested twice. And questioned once. And apologised to twice.
I weekly carry about 10kg of groceries in my backpack about 2.5 km. Doesn't even register as anything exceptional.
Atlassian Announces Shutting Down Opsgenie on April 5th, 2027
I don't know anyone trying to move to china/russia/iran/india. The outflows however continue to be extensive.
Tailscale is great. I put my whole company on it shortly after joining (we had some servers with RDP exposed to the internet...). It has had ~0 problems in the last year, and non-technical people are able to use it with ease.
> very expensive

I guess it depends on where you are at in the world, but in our neck of the woods $50/month is an absolute bargain compared to using a tutor. Not to mention you get to work at your own pace and to practice spaced repetition consistently.
Perhaps, but it wasn't a bad experience. I've come to value hiring processes and I guess employers where they known how to swiftly make decisions.
Impressive output but slow. I'd still pick Claude but ask QwQ for a second opinion.
I don’t know of any country where border guards don’t have the authority to seize your device if you’re trying to cross.

I just use devices with ephemeral storage for crossing borders to save myself from having to do any research on any particular country’s device privacy practices.
> although I'd passed the interview, my interview performance was too poor to be considered for hiring.

In what world of hiring would passing an interview be considered a failing interview? If it's too poor for hire then it's a fail.
Bundles only include things that can be in the pack files: the git objects `git clone` would pull.
Add gerontocracy to that.
No they don't all their technology is equivalent to what's in the industry save their chips. Which btw is manufactured by TSMC so the chip itself is not vertically integrated.
Democratizing AI Compute, Part 5: What about CUDA C++ alternatives?
Duolingo is fun, but does it make you fluent?
A lot of people spend months or even years grinding through Duolingo but when they try to actually speak the language they freeze. It’s like knowing all the rules of a sport but never playing a real game.

Speaking is the hardest part of language learning because most apps don’t prepare you for real conversations. You recognize words, you can form sentences in your head but when it comes time to talk everything feels unnatural.

The best way to improve is by speaking with native speakers but that’s not always easy. Tutors are expensive and finding the right language partners takes time.

I’m working on something called Lengpal that connects you instantly with native speakers for real conversations. No scheduling no awkward chats just click and talk. The goal is to make speaking practice as easy as opening an app.

Curious to hear what’s worked for you. Have you found a way to actually get fluent?
All they’re doing is making rich, delicious oysters for those left on the surface to shuck.
For the third time, I never said nuclear was cheaper than contuing to burn natural gas. It has the distinction of being the only non-intermittent source of carbon-free electricity besides geographically contrained sources like hydroelectricity and geothermal power. It is the only viable path to decarbonization for most countries.

What's the alternative to nuclear power for reaching a carbon-free grid? No doubt, your plan will assume a breakthrough in energy storage that delivers orders-of-magnitude more scale than existing solutions.
The NATO treaty doesn't imply in his wording any obligation for a military reaction to an invasion of a member of NATO. There's no penalty to just respond with a strongly worded letter, but there's an expectation an ally will react militarly.

Will your allies trust you any longer if you just follow the letter of the treaty? I don't think they will. More critically, nor will anyone else.

The US have historically positioned themselves as "defenders of democracy" and have multiple times used that positioning actively. It's inevitable for an expectation to be there for them to do just that. The US is free to violate expectations and just follow the letter of the treaties it has, it is a sovereign nation after all, but the surprised and frankly childish "we have no obligation!" reaction to the blowback is more unreasonable than the expectations for its support of Ukraine, particularly in how it has been handled politically.
I thought it was inspired by XKCD's photoshop as a patch tool:

https://xkcd.com/1685/

(XKCD might have been inspired by the same post since it came later)
Its essentially part of the environment at this point, you can't completely control access. Kids without social media access are second-class citizens - or worse - in their peer groups. The reason the platforms do not offer an option to turn off algorithmic feeds is because they make a lot of money off these kids.
My gf and I don't have a television, but we watch Ghibli movies on my 13" laptop on a stool parked in front of my couch. In CRT's heydey, you'd have to be pretty rich to get more than a 24" screen, and that was just fine back then. The brain focuses attention on the story and blocks out everything else, the same way that you don't notice the rest of the theater during an opera or play (at least one that's engrossing).

So, if the trade-off is size vs advertising, I'd prefer to have a small, ad-free monitor instead of a large ad-box.
I have one that's a little over twice that age. Parts availability, especially in the aftermarket, is still very high for domestic classics, especially those based on the stereotypical design, and I doubt that will change much in the near future.
The first 3 break expectations or norms. Clearly labeled price and specs doesn’t.
did 538 stay impartial without nate silver? He clearly took a hard right.
So MacOS is still not allowed to be virtualized per the EULA? Wow if that's true...
Well he has talked repeatedly about taking Greenland "by force", which in itself wouldn't be a world war, but of course is still terrible.

I think the concern is that telling Ukraine to surrender their land after they were invaded by Russia will give Russia the confidence to start attacking other European countries. Traditionally, NATO would have protected us from that happening, but with Trump upsetting all our NATO partners, I'm kind of concerned that that won't help this time.
Also GPD per capita is a terrible measure of standard of life considering 40k in Louisiana when you need to pay for most of health care education etc. isn't that much.

The average life in these countries is undeniably better, even if poorer on paper.
> bulky 16" ThinkPad.

I'm surprised nobody mentioned the thinkpad x1 extreme laptop. It was basically the lenovo/thinkpad response to the xps 15. It's way thinner than the ThinkPad T16/P15 lines.

they claim it's a 16" laptop but only because they made the bezel smaller enough to fit a larger display in the same space.

it's usually mostly on par with the dell xps but i'm not sure about the specs though... my personal laptop is a rusty thinkpad x270 (i'm torn between the newly announced m4 macbook air or the upcoming framework 12) and i've been issued a m3 macbook pro for work.
As you said, git clone wont copy it, and you don't get a zip of a repo, you get a remote that you can clone/ pull from.
Is this the best way to run your own models these days?
Yes. No other laptop can sustain peak performance as long as the M-series Macs. The only thing that competes is a dedicated desktop with a big cooler and fan.

Mac laptops feel faster, even if the synthetic benchmarks say otherwise.
Architects vs. Workers: Will You Work for AI?
Discord in Early Talks with Bankers for Potential IPO
I guess Apple has moved enough production out of China to supply US customers without needing to fear tarrifs, given the price cut.
https://archive.ph/KPdpm
The same solution applies: don’t buy from them. Vote with your money.
Fun facts about the UK supreme court:

- It was created by an Act of Parliament

- It is a government department

- It can not overturn primary legislation

- Parliament could dissolve the court if it so wished
Totally agree!

So I've used pretty much all the AI builders out there and seen a ton examples of other users using them.

V0 and Lovable are just ok for the UI if you have the Figma file ready but good luck connecting them with email or implement other integrations and Replit can build a prototype but it takes around 6K prompts to have a low quality mvp!

I think we are not there yet!