skysight-inc/HackerNews huggingface dataset:
Kagi search has this to say about the difference between differential growth and L-systems (plot spoiler: l-systems are maths-based and address mostly branching phenomena, differential growth is derived from the fact that within a single organism growth rate is uneven):

https://kagi.com/search?q=differential+Growth+vs+L+system%3F...

One of the things that attracted me to 3D was Maya’s magnificent paint effects system, which is lsystem-based. This was begging to be spun off as a separate product.
Go-Prequel: POC for Google's prequel load balancer
Another +1 for navidrome. I use along with play:sub on ios, and feishin with desktop , and couldn't be happier.

I also use Lidarr for PVR needs
Regulations are written in blood! (by people with lead poisoning who used cocaine for medicine)
Buying new tracks like when I was still using iTunes would be nice. Bandcamp comes close but I don't mind the extra step of downloading the zip file and running my script to have it in my music server. Where I also have plenty of digitalized CDs that I own.

Spec-wise, start cheap and upgrade the CPU/RAM when you hit limits. It's not like you'll use all those services at the same time. My home containers all run on a recently purchased HP Mini G2 that I upgraded from a 6100 to a 8-core 6700 and the RAM is an odd 24GB. It even has a rarely used minecraft server. Docker containers are bundled into proxmox instances per user or whatever makes the most sense.
This is so spot on its uncanny.-
Oh, and clicking multiple times at the leftmost portion of the instrument (around 1/4th from the top) sounds exactly like Laurie Anderson's classic "O Superman" :)
Formal verification of arbitrary code is a "simple, routine task"?
Is there other modern interested telemetry we can do?

Btw is in big bang theory …
Looking for the best forum software to start a new forum community in 2025
Reddit Post

Hi guys! I am considering of creating a new forum for a little fun, by hosting a current open-source forum software and making some changes and tweaks . An independent place on the Internet without any outside influence or interference.

I plan to make it a place similar to 4chan in its glory days, without all of the illegality of the forum, as well as without all of the chaos that 4chan known for.

The community would be like a mini Internet, where people can discuss about things, share stuffs and information. A place for everyone to talk about current events, or share their amazing stories and projects with everyone, or meet new friends (as some of the plans for the features of the community). The community would be tightly moderated (so the software needed to have moderation tools) too. It could even be an alternative to Reddit without karma ofc in the future (as an example of mass and usage example) but I only expect at most of 0.1% of Reddit size).

I am considering of self-hosting an open source forum for this project before moving onto my own platform . The forum needed to operate well on a shared hosting (PHP) through, as I am running it through a shared hosting environment, and have good abilities to expand with a larger user base . I also prefer a more modern design (through themes or the native software design itself).

I hope to hear from you guys recommendations in the comment section below on which open source forum software is the best for this. I am currently looking towards MyBB and Flarum too, but I would love to hear the input from everyone.
You are really comparing apples to oranges here, and to say that trying to apply formal verification to a probabilistic lying machine is silly would be a colossal understatement.
We don't? There are computer systems running since the seventies in areas like banking and aerospace, why wouldn't they last another fifty years?

Most of my professional work over the last fifteen years has been on applications that were ten years or older when I was recruited. Currently I do work in public sector digital archiving, where it's common to retire systems that are still being updated and have been going since the nineties. This kind of long term storage aims for century or more.
They are not "high profile people". They are the ruling class.

And I am glad people are waking up to the reality they live in.
I have just used it yesterday to better understand a math problem and found that the edit-compile-run cycle of rust with this framework was prohibitively long.

I only had a single file calling into this lib - maybe I could have improved on it with splitting the project up to some modules? Could anyone comment on their experience? Because usually I have found rust compile times okay, but this really made it hard to iterate.
> This sounds like it should be true but isn’t.

It absolutely is true, I've seen it myself.

> Were oncologists killing people in 2010 because they lacked the research from the last 15 years? A career is only 25-35 years long.

100% absolutely they were.

Maybe you don't understand just how fast cancer treatments change? Cancers that had 20% 5 years survival rates 15 years ago, now have 60% survival rates.

Thus if a doctor today isn't aware of those new therapies, they are killing patients that would otherwise live.

> And while we are here it’s always a good reminder that medical malpractice is the 3rd leading cause of death. So yes they are still killing people everyday.

How is this relevant to the point?

> doctors are not a special class of professional

I'd say they absolutely are. Unlike most other jobs, their decisions don't directly have an impact on whether people live or die.

Which is why we treat their employment differently requiring not only education, but supervised work experience, standardized exams and licensing. If they don't fulfill those requirements, they don't work as doctors, period. That seems like a special class of professionals to me.
That's true, but it's not really the situation I'm thinking of. Your phone is comparing the differences between the timestamps of multiple incoming GNSS signals at a given instant, not using them to set its local clock for future reference.

A better analogy to practical networked computing scenarios would be this: receive a timestamp from a GNSS signal, set your local clock to that, wait a few minutes, then receive a GNSS timestamp again and compare it to your local clock. Use the difference to measure how far you've travelled in those few minutes. If you did that without a local atomic clock then I don't think it would be very accurate.
This has always been true. Pre 1970 is not defined in Unix time.
> They were detained by Russian border troop officers while they were crossing the Russian border near the Chukotkan village of Uelen, for not entering Russia at a correct port of entry. They were threatened with being banned from Russia, which would stop the journey.

You can always trust russia to be a pain in the neck, to put it mildly.
Well said. I have had the exact same experience. As I have gotten older I have made more friends. More importantly, more meaningful connections that are by choice and not by circumstances.
Fascinating. I was going to ask if there were similar projects. It seems like an obvious thing to do and I was mildly surprised that it never occurred to me and majorly surprised that this was the first time I'm hearing about the idea.
It also means worse accessibility, less introspection, automation, worse/impossible adblocking, etc.
Animated Gif of each category:

https://imgur.com/a/ycombinator-startups-map-iNX8k6M
While that is true, the paper shows more video and experiments that they did. they show that a single person finishes the puzzle way faster than a group of people. I agree it could be interesting to check how a group of people, sufficiently able to collaborate, would solve the puzzle. Would that be faster than a single person?
I'm sure the US would just let anyone in at any point along their border...
Owntone http stream works on any browser, ios, droid.

Works well enough i haven’t bothered to set up anything else.

Wireguard is pretty great for all this stuff.
Originally, “priority” referred to something singular. In Latin “prior” means “the first”. But we have shifted the meaning.
Finding use cases for SSE and reading about others doing the same brings me great joy. Very easy to set up -- you just set 2 or 3 response headers and off you go.

I have a hard time imagining the tech's limits outside of testing scenarios so some of the examples brought up here are interesting
I wonder who would do something like that.
MH17 was shot down by Russians and nothing happened. Only harsh words.
Maybe also check out this free Blender geometry nodes differential grown add-on from the brilliant Alex Martinelli…

https://www.blendernation.com/2023/07/25/differential-growth...
Agda and Liquid Haskell are used for Cardano, one of the largest blockchain platforms, alongside other tooling in that space. It’s one of the larger formally verified projects in the wild so I’d argue it’s fairly mature.

For example their formal specification of their ledger system:

https://drops.dagstuhl.de/storage/01oasics/oasics-vol118-fmb...
You really care about this and use most privacy invasive platforms at same time? Sounds like interesting acrobatics to me.
Passport are also needed for deportation. I can not see any reason, why police would burn their documents. It creates a lot of extra paperwork and headaches.

Destroying passports is a normal practice for illegal immigrants. It extends their stay in EU by several years. Most countries are considered safe, and it is hard to claim you are from Syria with Egyptian passport.
it might be the way to transition towards a remote first economy - make them pay for the time and cost of travel within a certain distance, and if they prefer, they can instead fund the difference in housing cost to help you live closer to the office.

employers pay stuff like national insurance or health insurance, depending on where you are - this would just be a "commuting allowance" for jobs that really require it.
I will never forgive Egypt for breaking my shit with a 3 day notice (what was it like 10 years ago?).

Thankfully for me it was just a bunch of non-production-facing stuff.
What makes you think the article is AI-written?
I'm not particularly bothered by non-developer UI. I'm bothered by the incessant application of mobile UI idioms to desktop programs (remember when all windows programs looked somewhat similar?), by UI churn with no purpose, by software that puts functionality five clicks deep for no reason other than to keep the ui 'minimal', by the use of unclear icons when there's room for text (worse, when it's one of the bare handful of things with a universally-understood icon and they decided to invent their own), by UIs that just plain don't present important information for fear of making things 'busy'. There's a lot to get mad about when it comes to modern UIs without needing to approach it from a software developer usage style perspective.
I prefer falu light red for the classic look:

https://falurodfarg.com/wp-content/uploads/2022/12/stockholm...
I hate to suggest a solution before testing it myself so apologies in advance but I have a hunch that Broadcast Channel API can help you detect browser tab opens on client side. New tabs won't connect to event source and instead listen for localStorage updates that the first loaded tab makes.

https://www.google.com/search?q=can+I+use+BroadcastChannel+A...

The problem in this case is how to handle the first tab closing and re-assign which tab then becomes the new "first" tab that connects to the event source but it may be a LOE to solve.

Again apologies for suggesting unproven solutions but at the same time I'm interested in feedback it gets to see if its near the right track
The main expenses aren't so much the value of the cable as the disruption in communication and intelligence that could be sensible. Arranging the cable like a V ending in a karabiner in the angle could catch the anchors on a big area and redirect it toward the point of breaking and release anchor at the angle. If the ship would take a long detour from the shortest path to attack the cable in a different area, that would coast then gas money, so a possible boycott is not free anymore making the process less desirable.

That also would eliminate the plausible deniability of the ship that moved out of its main route, and could reduce the cut of communications to hours or minutes (instead days or weeks).

Just speculating
The „starr“ Apps generally allow importing lists to automatically hunt down the items on P2P and upgrade your local versions if better qualities are found. I’m not sure if it directly supports Spotify/Apple Music lists though.
Genuinely curious- why would op not mention anything about code written?
Christmas Day is a traditional Ruby release day: https://en.wikipedia.org/wiki/History_of_Ruby#Table_of_versi...
that's a non-sequitur. you have stated that a manager cares about the bigger picture and you have implied that in-office is better for the bigger picture, but you haven't provided any evidence/reasoning to link the two.
https://inconvergent.net/generative/differential-line/
A torpedo museum? Where is that?
Thanks for the comments - I'd often thought this was a good idea but then..
So perhaps an issue is the distinction between a shopping mall and a shopping centre. Malls have "exterior" windows on the inside overlooking public spaces. Is that sufficient?
And also, a place is not a slum while it is desirable, and perhaps the conversion process needs to start when a mall is still a popular destination. Sheffield's Medowhall is a place I'd love an small flat, but the rental per square meter would not allow anything residential ATM.
Hey I'd forgotten about Marginal Revolution! I used to follow this blog several years ago, thanks for the reminder!
Two points on that:

- Tesla themselves do this. If you book a test drive, you'll get emails where they tell you to watch a list of Youtube videos on how to handle the car. Nothing more will be done once you show up to do it - you'll do a little paperwork, you'll be guided onto the lot and maybe shown how to shift into D.

Same procedure when you buy one (source: i did) - paperwork, here's your keycards, follow me onto the lot, mount license plate, bye!

I mean - i get it, i neither want nor need a flower bouquet, a ceremony and some champagne when getting handed the keys to my new car - but something in between?!

- Other car rentals do it as well. We rented some Iveco van to move furniture from Europcar lately.

Paperwork, here's your key, this is the generic direction the van is. Enter van, be surprised it's automatic, start it up, shift into D, be even more surprised it has a second parking brake. Driving to the destination, another surprise: the car only goes up to 96km/h, no limiter seems to be active. Discover by accident that theres two driving modes: Eco and Power - switch to Power and you can drive faster facepalm.
Smearing is alluring as a concept right up until you try and implement it in the real world.

If you control all the computers that all your other computers talk to (and also their time sync sources), then smearing works great. You're effectively investing your own standard to make Unix time monatomic.

If, however, your computers need to talk to someone else's computers and have some sort of consensus about what time it is, then the chances are your smearing policy won't match theirs, and you'll disagree on _what time it is_.

Sometimes these effects are harmless. Sometimes they're unforseen. If mysterious, infrequent buggy behaviour is your kink, then go for it!
The Superfluity of the Masses
Paywalled and blocked from the usual archiving sites
Too many "accidents" lately. Trying hard not to be a conspiracy theorist since cables were being cut prior Ukrainian war but we've been seeing cables being cut off and ships being sunk more frequently than usual (or maybe now they are just being reported more). Will we ever know?
Thanks for the pointer!

From the "outside" this looks like such a strange product. The landing page is very obscure and, together with the name of the service, I would automatically think this is a super old school product (being generous) or some sort of weird scam (being overly critical). There are no docs or pictures or any further description of what the product looks like, I guess the authors expect people to sign up to see (it is free! :-).

Other than that, I wonder how they address their costs [0]. It seems free accounts have unlimited uploads. Anyway, I guess I'll have to give this a try to learn more about it.

EDIT: I found some pics by clicking in their facebook page, which in turn links to a news page [1] (...).

EDIT: This product is fascinating. Seems like they've been around for 12 years, have a bunch of loyal users, and support their product (?) via reddit (at minimal approve of the reddit channel since they link to it themselves!). I wish we could know more about the team behind it. Related: [2].

--

0: https://www.ibroadcast.com/premium/

1: https://ibroadcast.com/news/

2: https://www.reddit.com/r/ibroadcast/comments/1d1iaht/is_ibro...
Anything that is rendering to opengl/vulkan has this issue ... The issue is that there is not a good way to solve it with out hackery ... The one I saw for native android / opengl was writing to a hidden text field and selecting that with code for copy to the os clipboard...
You can celebrate Christmas without decorations. I find those intensive LED creations on houses kitchy and invasive to neighbours and people passing nearby.
A tale as old as the SPA
Difference is that code is the documentation and design.

That is problem where people don’t understand that point.

Runtime and running application is the chair. Code is design how to make “chair” run on computer.

I say in software development we are years ahead when it comes to handling complexity of documentation with GIT and CI/CD practices, code reviews and QA coverage with unit testing of the designs and general testing.

So I do not agree that software development is immature field. There are immature projects and companies cut corners much more than on physical products because it is much easier to fix software later.

But in terms of practices we are way ahead.
Not to nitpick, but, it being "Arts & Culture" and all, they could've at least said opera aria ...

... not song.-
Maybe use the right tool for the job? Author names generally don’t have a lot of semantics associated with them and definitely not in the abstract.
> I suppose using Unix time for dates in the far future isn't a good idea. I guess I'll file that away.

Not just Unix time, converting future local time to UTC and storing that is also fraught with risk, as there's no guarantee that the conversion you apply today will be the same as the one that needs to be applied in the future.

Often (for future dates), the right thing to do is to store the thing you were provided (e.g. a local timestamp + the asserted local timezone) and then convert when you need to.

(Past dates have fewer problems converting to UTC, because we don't tend to retroactively change the meaning of timezones).
What used to work for me was the "recommended" section under a playlist, as well as the discover weekly. I say "used to" because I haven't actually used to those in a long time for unrelated reasons.

The drawbacks to these is that they require time to go through them. AFAIK, the "automatically continue playing" feature doesn't pick from the recommended section, and it's hit and mostly miss. Furthermore, to use that section, you already need to have a manually created playlist.

The main drawback of the "discover weekly" approach is that it's strongly biased towards your recent activity, which in my case is random background music of the lofi type. I don't particularly care about this music as long as it's not distracting, so I don't care to discover anything, the randomly changing playlists by Spotify are enough. I would much rather these were excluded, so Discover Weekly would only consider what I listen to "intentionally". There's an "exclude from your taste profile" entry when right-clicking on a playlist. Never used this, don't know how it behaves.

However, all in all, I've discovered many songs and artists I hadn't known before, and many of those have become staples. So I can say that I'm pleased with at least some of Spotify's discovery mechanisms.
Tests are good but moving left by lifting invariants into the type system is better.

Compare

fn send_email(addr: &str, subject: &str, body: &str) -> Result<()>

to

fn send_email(add: &EmailAddr, subject: &str, body: &str) -> Result<()>

In the second case, the edge cases of an empty or invalid email address don't need to be tested, they are statically impossible.
There’s a few papers in this space but it’s still early days, both using Formal Verification to test outputs of LLMs and using LLMs in formal verification itself

Examples of both:

https://sumitkumarjha.com/papers/2023_ICAA_LLM_Dehallucinati...

https://mathai2023.github.io/papers/28.pdf
Graph view, backlinks and databases.
10_000 years of tech and industrialization and Ford's, Edison's and all those other engineers couldn't find solutions to proper handle trash & by-products before they got ... everywhere? Reasonably doubtful I am.
I won't feed my backyard chickens any poultry products, cooked canned or otherwise. No sense in exposing them to the same species diseases and prions.
There should be an ACK on the tcp packet (IIRC it’s not a lateral ACK but something like it) and the server should handle a timeout on that as the connection being “closed” which can be returned to the connection opener.

You might want to look into timeouts or error callbacks on your connection library/framework.
With hindsight, we'd do lots of things differently :)

I guess they just didn't foresee the problem, or misjudged the impact. I can imagine it being very "let's kick that problem down the road and just do a simple thing for now" approach.
PDF supports being printed out onto paper.
if i have to believe musk, there is no issue at all doing that.
Nabokov's Pale Fire.

It pops into my mind every now and then, amazing read from start to end.
It does require a special switch yes.
They literally aren’t. And Russia being a boogeyman that both sides claim the other is in cahoots with is exhausting. And the premise that communicating with someone means you endorse their actions. It’s all just lazy
Name a Quasi-Moon
Navidrome can work with your folder layout, too.

I don't remember why I settled on Navidrome instead of the others, but I basically just told it "here's my music, now go play me something" and it all just worked. As far as I'm concerned, it doesn't manage organization at all.
Yeah, it's really well written. Especially the part about how recently some tourists from America come here with their valuable USD and enjoy a week or two of shopping, eating out and walking around, then to romanticize just how amazing life is in Japan. Living here is a much different reality to being a tourist here.

I think it's easier to "self-insert" as a "Hey, I could totally live here," while a tourist in Japan, than, say, a tourist in Mexico.

Japan is quite a wonderful place, but there's a lot of unseen work and sacrifice that gets put into making it wonderful. It is a country with very different priorities than the USA, for example, but it isn't magic.
According to an interview with people from the company that owned this particular cable (from Swedish media SVT) these things happen by accident sometimes, they said a couple of times per decade. They themselves did not think this was an accident.
FOR THE WIN!
Did you ask everyone?

It most certainly matters to a lot of people. It sounds like you've never met those people.
For some people music is a hobby — looking for new stuff, buying and sorting it is their passion.

The worst thing you could do to me is tell me that I pay $5 a month and the rest of my musical journey is solved and gets decided by a corporate algorithm that pays emerging musicians and niche artists a starving wage.