skysight-inc/HackerNews huggingface dataset:
IMHO Prolog is mostly a way of thinking, of designing your software. Making a blazingly fast compiler is an art, but the basic interpreter at the heart of prolog is fairly straight forward to design yourself. Prolog isn't as old as LISP, but keep in mind it had useful applications on contemporary hardware in the 1970s.

If you're interested in doing Prolog with Python, have a look at projects like:
https://github.com/photonlines/Python-Prolog-Interpreter
There is a whole "grammar of proofs and basic intro to higher mathematics" style course nowadays.

Book of Proof has a free PDF version. It covers the basic styles of proof (necessary to learn but still not super advanced).

Other texts of this sort include Jay Cummings long form texts (I myself haven't worked through or even exaimed these but they seem popular.
Aren't they trying to turn their word list into a subscription service? Obsoleting paper copies might be a feature.
> I've been saying this for years, the microservices insanity it's just an excuse for mediocre engineers to be in demand.

Or just inexperienced ones who want to pad their CVs.

I think we failed to educate the current generation on what's important in this job.
The article posted above can also be seen via a proxy here: https://12ft.io/proxy?q=https%3A%2F%2Feuobserver.com%2Fgreen... - the point being, there is a throwback in the quality of energy production, in fact right the anedoctal example is a wind farming taking damage in order to expand the dirtiest type of coal (Lignite contains 25%–35% carbon and has the lowest energy content of all coal ranks.)

The most outraging piece to me, is the that in large part the push against modern safer nuclear energy production (that could have mitigated this situation) comes from the Green Party. All mentioned so far comes off political nature, so if your point is the grid is easier to change... i haven't seen a single fact pointing in that way.

There is also the engineering appreciation for reducing energy loss vs. pollution it creates; which low quality coal -> high voltage transmission -> EV is an insanely ineffective method all along. Any EV being charged by coal is a pathetic attempt of green wash.
I work on a massive monolith that has about 800 contributors and its just as complex to add something as simple as a user’s birthday, just not all the complexity is technological. It requires “organizational alignment” since you’re touching everyone’s code.

There will be endless iterations on design and review. Sign off required by at least 2 architects. It will get added to multiple planning iterations. The actual code will take an afternoon or less. We’ll have to ensure we hit out 90% test coverage during code review but because of all the tests, it’ll be too big for one PR so it will need to be broken up into multiple PRs probably landing over multiple weekly releases. To facilitate that, we’ll put it behind a feature flag (of which there are currently 13,000). Once it hits production, and the dashboards/monitoring are put in place, it will get enabled and disabled over and over again as we’re not totally sure why our birthdate feature broke the metering service, but we think that’s the root cause—need to do a few weeks of analysis.

Then, finally, in a year the engineer who was tasked with it will get a good performance rating, maybe be up for a promo! Just in time for him to jump into another project that’s failing horribly headed into its 3rd year in development: Allowing the user to set their timezone.
All.

The available features vary though.
It’s more than capable for general-purpose use; you don’t have to use the lockstep if you don’t want it.
We had the same issue, and between that and the author's attitude towards the community feedback at the time meant I simply won't look back and got more and more familiar with NGINX.
One thing that sucks about those combos, if I remember correctly: Don’t they show only the members of the class your cursor happens to be sitting in, and not those in the whole file? That’s just monumentally dumb. I remember cursing at those as I hunted through a bunch of files for some function… only to find it was right there in the file I had up but Microsoft didn’t show it.

I remember scorning Xcode back when it was Project Builder, but saying Hey, at least its drop-down member lists work properly.
I wonder why people ever see it differently?
If you want a performant application use C++ and Win32. Yep I am serious.
Only when no one is watching.
>Building high speed rail is complicated because of land rights, the US is not China where the government can just order people off large swathes of land as needed.

Japan is not China either, yet Japan has little trouble building new bullet trains. We're building a new maglev train right now between Tokyo and Nagoya which should be finished before the decade is over, and 90% of the route is underground.

The US just doesn't really want to build high speed rail.
Neither. Lack of coffee. Won't correct it now :D

(English is not my mother tongue, which is a phonetic language, Hungarian, and while I know the difference very well, being tired causes these kinds of typos sometimes)
Exploring Hidden Lyrics on 1990s DCC Audio Tapes
I don't know about other Linux distributions (or operating systems) but a while ago NixOS marked Sublime Text as insecure and wouldn't let me install it without me setting the option to allow insecure packages (since it depends on openssl 1.1.1u), I don't know how dangerous it would be to have software with an out of date TLS library for me, a regular user, but I just switched to emacs, so sad because ST is an excellent editor, a great set of features and plugins while still being extremely fast (which is my problem with VSCode).
It's all fun & games until product wants to add a feature that doesn't map cleanly to your micro servies architecture. Then you end up hard coding you services into a macrolith. Good times.
If you die then someone has to receive your emails anyway: you're dead.

Specifically the executor of your estate will probably need access in order to wind it up or direct things to next of kin.
I'm pretty inexperienced, but I'm starting to learn the hard way that it takes more discipline to add more complex error recovery. (Just recently my implementation of what you're suggesting - limiting the blast radius of server side errors - meant all my tests were passing with a logged error I missed when I made a typo)

Considering their level 1 and 2 support techs couldn't access the so-called "low level" logs with the actual error message it's not clear to me they'd be able to keep up with a system with more complicated failure states. For example, they'd need to make sure that every plan rejected by the computer is routed to and handled by a human.
Antimirov: Algebraic Manipulation of Regular Expressions
He was a great Guile hacker, and his work inspired me a lot. RIP
So basically the SQLite of its day?
Ask HN: Quality difference between accessing sensors via a browser vs. natively?
I would like to build a proof-of-concept (POC) app. For this, I need to access a device's geolocation and orientation in space. I have been reading about web APIs on Mozilla Developer Network. The app should run on mobile devices, but I have never published anything on the Play Store or App Store. I assume that maintaining multiple platforms takes a lot of work. How viable would a webpage be that users can visit from their devices, which prompts for access to sensors like the gyroscope and geolocation? Would there be a quality difference between accessing sensors via the web and via a native app?

Note: Time delays is not really an issue
Unpopular opinion: if you're skimping on ops/DBA resources (as you may need to do in a startup), then MySQL is a better default. By all means use postgres if your use case demands it, but personally I find the ops story for MySQL takes less engineering overhead.
My go to page about this is http://widgetsandshit.com/teddziuba/2008/04/im-going-to-scal... which perfectly summarizes the problem AND solution
The only planet where 100% of Linux systems have working audio is Mars
> I am starting to use iCloud's Hide My Email to change my email address on accounts I have created over the years because of this

How seamless is logging in on non-Apple devices?
this won't go well for the accuser
This got me curious (and a bit worried) so I checked, and it seems like it might have been differently licensed for commercial use around the time you mention, but that no longer appears to be the case: https://caddy.community/t/caddy-license-for-commercial-use/1...
> Prolog is awesome and I recommend learning it if only for kicks and experiencing foreign programming paradigm. Many concepts are expressed in a completely different and (when paradigm "kicks in") are arguably much simpler.

Seconded. Probably the biggest mind-explosion type experience as a programmer in my entire life. Even something simple like building a Sudoku solver is insanely fun IMO.
Would appreciate if you could spare some time to elaborate. I’ve had pretty much the worst experience with Teams of all communication solutions. I just can’t figure out what’s going on with it. On Macs it constantly misbehaves. Is it due to RN?
There is a way to splitting data. The service which owns the data always does the writes and others who need reads on that data can store replicas. ofc the complication then will be in replicating data, but this will enable services to massively scale and eliminate SPOFs
It it a good point? What’s the threat? How can you be “private” when you have a unique id associated with every email address?

If you’re that paranoid, you might as well name your account bsuwbeu7262@gmail. But you could just have a goofball domain as well complete the du rigour registration privacy service all registrars support.
One snowflake query cost us $1000
An interesting idea. Sort of a good half way. But one issue I see is that you can still have a shared data store. That means you can accidentally (or intentionally) use the database to pass back-channel messages —- have one module store data and another read it.

That could lead to hard to find bugs. Did this ever come up for you?
And furthermore using Google mail for business purposes doesn't have unprofessional stigma anymore, especially amongst younger people (naturally meaning under 50).
An aroma picker for the Le Nez du Vin game
Why not 3.0+? What’s changed?
Where can I find investor db's for startups which can be downloaded for free?
Hi guys, I am looking for Airtable/Excel sheets with investor details who can invest in startups. Do you know any? Can you help and share the links? Thanks in advance :-)
Currently when I Google, most of the databases are either paid version or it doesnt have email contacts. I am looking for a database which include Investor name, Location, Ticket size, Fund Focus, email contact etc.
Surveillance capitalism is hardly just an American phenomenon, and though I don't defend it at all, or many other aspects of how things are in the U.S. corporate state, you're deluded if you think the EU is somehow greatly better. Many on HN go full holy roller on GDPR as if it were some sort of divine intervention while at the same time apparently blatantly ignoring how the EU's own laws are grossly intrusive in so many ways and without at least some of the minimal protections offered in the U.S. by its Bill of Rights. To name one good example, at least on this side of the pond free expression is more firmly defended, even if other things aren't so much.
NetBox – the source of truth for everything on your network
One of my mail domain's can only be registered for a year at a time, which really bothers me, I feel like it leaves the risk of losing it higher than others which I can register for longer.

I don't know if there's a way around it, but for the record, it's a .es domain, and I am not Spanish, nor do I live in Spain.
China AI and Semiconductors Rise: US Sanctions Have Failed
The technological and societal progress in less than 200 years is astounding.
Your selling points are the opposite of Discord and Slack's selling points. Slack login is entirely corporate controlled. Discord just works with one login across communities. These products are not popular in spite of their terrible privacy patterns, they are popular because of characteristics that intrinsically have terrible privacy patterns.
Maybe a solution to an anti-social problem!

FT.com did a recorded seminar session on their microservices architecture and one of the benefits they extolled is if someone wanted to improve on a feature they could just make it all over again and replace the old microservice with a new one. No need to look at the last persons code, just blow it away like it never existed.

I gathered their site is actually a black box filled with hundreds of black boxes of microservices. All a mystery, they either work or they don't and if they don't they fail gracefully quickly.

https://www.youtube.com/watch?v=_qakAUjXiek
see also https://github.com/netbox-community/netbox/
US Copyright Office denies protection for another AI-created image
I do believe it is reasonable to hold repeat offenders. And I hope this law will be upheld when tried. These people do not understand democratic dialogue and so I have no pity for them.
It's always right to start with a monolithic. After all, not everyone knows what they want.
We work with the same contractors then.
Once you have Hide My Email set up, you don't have to log in again. I just forward to another email account that is not on iCloud. The unique email address I generated is saved in 1Password.
Fixed four months later
For some, this is indeed crucial. But there are plenty of people who are receptive to effective communication regardless of title.
How is this any different with all other things? Like real address- someone will receive your mails. Your phone number - someone will get your calls and SMS'es, viber messages (doesn't require email login), etc.
Using Google Mail sure, but using Google's domain sure as heck does.

I cringe every time I see a business card printed with a gmail.com or similar, or on the side of someone's van.

If you can go through the effort of registering a business and having a professional looking logo plastered all over your vans, business card etc, you can almost certainly register a domain for your email.
Hmm, that explains the situation (native code is discouraged for most purposes) but doesn’t explain why they take that approach.

There is also the security aspect, why they discourage the use of those languages for full blown applications.

Native code in apps doesn’t seem like a security problem on iOS, though?
I believe Caddy brought a much needed paradigm shift in web server space, it is an incredible piece of technology.

I have moved all my servers from NGINX to Caddy for the pass few years and I couldn't be happier.

Also, I would like to give a shoutout to the team behind Caddy. They have been nothing but great about constantly shipping updates and being incredibly helpful in their community forum.
Sorry, I could have been more clear. Brave is a browser with a feature called Shield, an anti-tracking feature, a click of the icon disables it/reloads page. So my workflow is up to 3 clicks if I just want to disable everything, which I do when I'm in a hurry sometimes.

I was wondering how often you had to interact with uBO mostly, which was answered in sibling comment.

I'm switching back to an android phone, mostly for a better browsing experience, so I'll try Firefox/NoScript+uBO combo. I'm using uMatrix everywhere else(except on iOS) but no uBO, I thought uMatrix covered everything uBO does but I guess not so I'll try both.

Also, I believe some versions of nightly Firefox (on mobile) can support uMatrix, IIRC.

Thanks for the breakdown!
The image is the one that won the contest a while ago, see here, e.g.,

https://medium.com/mlearning-ai/ai-art-wins-fine-arts-compet...
Agreed the dichotomy presented is so reductive that it makes you question the author’s credibility. Any architecture that isn’t well maintained will become crushing over time.

Ask me how I know.
Revealed: The Country That Wiretapped the World for the FBI
As a student, I learned Prolog and Caml in a master's in CS in France, in 2015, though the languages we were most likely to use like Java and C had much more hours of class. I think the teachers, who are also researchers, rarely update the technologies they teach because it's often what they learned when they started teaching.
I think if we also "air-gap" (loosely) the dependencies, we get a typical monorepo in, say, JS or Golang? That is, a module in a monorepo is a special case of your airgapped modules?
Exactly. And having more than one source of truth for your data complicates a lot of things.

Where I work we run a massive MySQL database that has a pretty simple sharding rule, so I don't believe that you need to split the database even at scale.
“how they did things over at Google”

LOL. This is how a former out of academy right into startup CTO position colleague tried to argue his choice of approach to enforce. Those were dire times, luckily I found my new place fast, just in time to avoid the spectacular implosion.
Know of any that would let it play MP3s?

I was always under the impression that you could mangle things and get two (more?) PDS cards in one. I had hoped at the time I could maybe even ditch the crt and get an Xceed to do internal video on some LCD for it.
Node is just the whipping boy for the old guys who are afraid of 2023. I say this as an old guy.
Ok, but let's bring along some nukes anyway, just for giggles.
I feel that. At my shop, we have given up on debugging altogether, because the tooling simply doesn't work.

To run one service on our local machine would require us to adapt the other 9 to run against this one. And god forbid you build a "feature" for the "customer." Now you have to, of course, touch at least 2 services at the same time to move more data.
A breakpoint on one end is a timeout on the other.

So every developer is deploying release builds (no hot reload) on a local VM, inserting console.logs, System.PrintLines() and _loggers and then reading the disparate log files. Needless to say, I'm jumping ship.
I feel like that approach would create much effort to do properly. I.e. to be consistent, you would add a lot of such messages, and that would add a lot of complexity to the overall code base.
In case it helps anyone, I just went down the rabbit hole of calculating the amount of random bits required to avoid collisions. The traditional Birthday Paradox formula gives us a probability but it's not very intuitive to understand what the probability means in terms we are used to as developers, so I tried a different approach: expected time period for a collision to happen.

https://colab.research.google.com/drive/1ec4n7Ex9bnkl_c45EUl...
> I don't have any failed startups, but I have missed plenty of bills, including going more than a year without paying a mortgage before short selling the house.

Doesn't your house get repossessed if you do this, and you end up with nothing? I accept I may be wrong here, but I've been told the above a thousand times.
So what are you gonna do when you need data migrations?

PS: I'm not saying using one DB with microservices, it's still with the monolith
Also:

c) https://github.com/twinbasic/twinbasic

Once it gets out of beta.
I would use Yocto or Buildroot for the same purpose. After using both I really like the design of Yocto once I discovered that no magic was taking place.
It's not even funny how many software engineers just don't know that, SQL is crazy fast and performant, if you have basic understanding about it - I was once refactoring (or, rather, getting rid of) a microservice that was just a JSON blob storage on top of Postgres, without having any schema for blobs, with 100s of 1000s of them, no indices, and main complaint was - it's slow.
Great that's what I was looking for, I'll try combining the two.
Unfortunately if you stop paying for fastmail or your Google account becomes inactive, they terminate your account and the email address becomes available for a new user.

I think the concern that your email address is subject to takeover is valid, but unfortunately relying on generic domains isn't the solution.

https://support.google.com/accounts/answer/12418290?hl=en
Caddy is amazing, but on production machines remember to disable the unauthenticated and enabled by default JSON-based admin API bound to localhost:2019, as it can be a serious security risk in certain deployments.

Put the following in your Caddyfile at the lowest scope to disable it:

{
admin off
}
Notes

renice: https://stackdiary.com/linux-docs/renice/

audio server code: https://github.com/dosyago/BrowserBoxPro/blob/boss/src/servi...

audio client code: https://github.com/dosyago/BrowserBoxPro/blob/boss/src/publi...

-------

FAQ

What real time prio did you renice to? We tried a few around -16 but settled on -15.

Did you try WebRTC for the audio? Yes, we tried the data channel for streaming the WAV chunks, but in this case WS was more reliable and faster (I guess it was because we were producing small chunks at a consistent rate). I'm interested in exploring WebRTC audio channel streaming if anyone knows, come and contribute: https://github.com/dosyago/BrowserBoxPro or get in touch at opensource@dosyago.com

Why are you using WAV not MP3 for audio? Because we're chunking it. I didn't know how you can slice MP3 into tiny pieces for custom ACK-based streaming like we are doing, and I'm not even sure if it's possible: when I tried the MP3 became corrupted, but WAV worked fine, (I guess because it's linear not a compressed self-referential format like MP3). In tests the reduction in bandwidth due to MP3, was somewhat lost to the increase in latency / compute on the server to encode it. If anyone knows a better way to stream audio (or MP3) in this case come contribute: https://github.com/dosyago/BrowserBoxPro or get in touch at opensource@dosyago.com
iirc simon and newell arrived with working code despite not yet having a working a computer at CMU
I played both Utopia and Neopets back in the days around 2000-2005. I still have screenshots!

You could submit it to HN and see if there's uptake. There's also Algolia.

The beauty of Utopia was that you start a province and you get together with max 24 other players in a kingdom. You vote which province becomes your king or queen, and you gotta work together with those other provinces. If it doesn't work out you can leave, but it comes with a penalty.

However even back then, trading, botting, and account sharing was rampant. Because it was an international game with people around the world, and sometimes you had to log in the middle of the night. And people had RL, too.

The cool thing about Utopia was the politics aspect. War, negotiations and all that. The dark side of it were pacts and people who resort to mentioned cheating but who also bullied to get on top. It is probably akin to Eve Online in that way (which seems way more complex).

> It probably has the hardest learning curves of any game ever made, but the community is really strong and encouraging.

Nah, not the hardest. Utopia Angel (which ran through Wine) made Utopia fairly easy cause it was an accurate combat sim, and later on there were Web 2.0 frontends for scraped/normalized data, and also sims available for the province non-combat features.

Neopets I started because the woman I fell in love with digged it. Honestly I thought it was kind of cute and akin to a browser-based MMO (like Utopia was, too). The market is just like in WoW auction house; a sim of its own kind. But the fondest memories I have regarding those massive puzzles they sometimes had. They were an adventure within Neopets, and an adventure into studying your browser and things like Flash. WoW also has a MMO puzzle adventure going for it right now. For WoW, my fondest memories are action related and MoP expansion (yes I played before MoP, even WC2 and WC3 when released). Although MoP also was my low: I got a psychosis from the stress related to requiring high performance.