skysight-inc/HackerNews huggingface dataset:
You don't just put out a call for singles, trap em in a cave, and expect the same number of singles to emerge a year later
What makes Prolog, Prolog is not unification on its own but SLD-Resolution with unification, where "SLD" stands for [L]inear Resolution with a [S]election rule restricted to [D]efinite clauses. If you know your Resolution typology, that means soundness and refutation-completeness (or completeness with subsumption) [1].

I don't think I've ever seen a discussion of Resolution in functional programming textbook implementations of "Prolog". They typically just bodge some depth-first search with backtracking and unification in polish notation and call it "Prolog", or "logic programming". A bit like if I wrote a "lisp" with eval(X):- call(X), then completely ignored all that jazz about lambda calculus and concentrated on garbage collection and linked lists.

A good starting point instead, if one wishes to understand Prolog and not just dismiss it out of hand, is to try and understand Resolution, and what unification does for Resolution, and why it ended up in Prolog (and how) in the first place. I'd start, well, at the beginning:

A Machine-Oriented Logic Based on the Resolution Principle

https://www.semanticscholar.org/paper/A-Machine-Oriented-Log...

Where you can follow the progress from ground Resolution, to unification, the Resolution theorem, and all the way to the (pre-modern) Subsumption Theorem. It's a long way to Prolog from there, but that's where it all begins.

_______________

[1] Although Prolog implemented by DFS is not complete if Prolog implemented by DFS is not complete (etc).
If you go to russia there is a chance of you being arrested on made-up charge just to be used as exchange fund for russian spies or arm dealers arrested in the west. Look up Paul Whelan, Brittney Griner, Michael Calvey, Trevor Reed, and most recently Travis Leake.
> Also, it is very entertaining to hear your friends talk to an AI.

i would fire any friend who attempted to use an AI as a proxy for talking with me.

> Mitra calls people using your caller ID so the people you know will actually pick up ...

Once. After which that number will be blocked.
No gp, but I know of https://en.m.wikipedia.org/wiki/Mandated_reporter in US.

It’s for abuse so we’re not talking about a few old axes. But such a thing as a concept does exist.
Same, but my Turkmenistan LoI took over 4 years and several attempts to get (us passport holder). It has been by far the most problematic and difficult country for me to gain entry to. DPRK, Iran, etc all were substantially easier. My DPRK one was not an issue in the slightest, maybe 1-2 month turnaround from the tour company applying.

YMMV.
Appreciate it. I’m currently using Frigate[0] as my nvr. Regarding the off-site upload, I just have to make time to do it.

A decoy nest camera sounds like a good idea though!

[0] https://frigate.video
> I get excited every time I work with hyperspec stuff now and love talking about it to anyone that will listen.

Color is widely taught down to K-2, but content and outcomes are poor. So I was exploring how one might better teach color, with an emphasis on spectra. Using multispectral/hyperspectral images of everyday life, objects, and art, seemed an obvious opportunity. Mousing over images like[1] for example, showing spectra vaguely like[2]. But I found very few (non-terrain) images that were explicitly open-licensed for reuse. It seemed the usual issue - there's so much nice stuff out there, living only on people's disks, for perceived lack of interest in it. So FWIW, I note I would have been delighted to find someone had made such images available. Happy to chat about the area.

[1] http://www.ok.sc.e.titech.ac.jp/res/MSI/MSIdata31.html
[2] https://imgur.com/a/teaching-color-using-spectra-zOtxQwe
I don't know why you're being downvoted, calling full access javascript embedded into a page a 'tracking pixel' is a total lie. Then again 'serverless' is where you use a server, so the track record isn't great.
You won't regret it, classic book.
Energy Engineering: Powering the Future
Can you expand more on what these practices are, in your view?
check out Bunny: https://www.instagram.com/whataboutbunny/?hl=en
Further, they're wrong on the basic premise of Canadian politics being fundamentally different.

Americans on either side of the aisle think that Canada is full of super-leftists (and there is no shortage). But were Canada a part of the US in 2016, Trump would have won AB, SK, and quite possibly enough of the GTA (the parts that loved Rob Ford, and as "Ford Country" has repeatedly won the province for Doug Ford) to win ON, the province most resembling MI/WI/PA, the three states that Trump unexpectedly won the election with.

At the end of the day, Canada is a smaller, colder, poorer, more expensive version of the US.

PS - The article repeats the myth that the Canada immigration site crashed in 2016 because of a flood of Americans visiting it. There was a technical upgrade that day
King Kong: Behind the Scenes Photos Show the Making of 1933's Classic
Those are virtual, don't lie that you was felt it. Photo studios in india still using CRT monitor for setting colours because they don't feel/recogonize correct colours in LCD/LED.

Kids are universal even in all species. I can do those tinkering work in my old age which one you did in your golden age. Apart from the shake of argument, I'm really sorry for your loss :(
Was expecting AI generated images of 'supermodel granny'... Was glad to see pictures of mice.
It's also the most scenic 'stan imo, by a wide margin. Was definitely my favorite of them all and is the only one I'd actually recommend people visit.
> It was the same, but smaller scale back then...The biggest issue right now IMO is general confusion and overwhelm + widespread fraud and lying (in both sides of the market) resulting in the market nearly locking up.

That's the worst part for me. I didn't live through it so feel free to correct me but: It seems everyone at the time all agreed that there was a crash and times were hard for that sector.

Meanwhile, the US really doesn't want to acknowledge a recession in 2024 and keep pretending "unemployment is down! Jobs are up!". Lies, damns lies, and statistics rights?

Times are always bumpy in my domain so I'm not surprised; I knew what I was signing up for. But the gaslighting about the ecconomy and lack of respect in more than a few responses I do get is the worst part of it all. I'd be surprised if the dotcom bubble had any people doing 4-5 stages of interviews and were then just ghosted. Not even a "we decided to go with another candidate".
Came across that book just recently in one of those free book libraries, tell me, was it a good read?
Kids are universal. I've met some parents with their kid asking me to tech them something. I can see they are not interested at all. All I've seen is their parent just forcing them.
> object oriented code for domain modeling

I'm not sure about that.

If we're talking about IT (information processing in general), then the domain model is just data representing facts and should probably be treated as that, and not some metaphorical simulation of the world.

I've come up with a pretty useful test for when to apply OO:

When you need to model a _computational unit_[0] in terms of _operational semantics_, then use OO.

[0] Decidedly _not_ a simulation of a metaphor for the "real world".

---

Examples:

A resizable buffer: You want operations like adding, removing, preemptively resizing etc. on a buffer. It's useless to think of the internal bookkeeping of a buffer that is represented in its data structure when you use it.

A database object: It wraps a driver, a connection pool etc. From the outside you want to configure it at the start, then you want to interact with it via operations.

A HTTP server: You send messages to it via HTTP methods, you don't care about it's internal state, but only about your current representation of it (HATEOAS) and what you can do with it.

A memory allocator: The name gives away that you can _do_ things with it. You first choose the allocator that fits your needs, but then you _operate_ on it via alloc/free etc.

---

Some of us wince when we hear "OO", because it has been an overused paradigm. Some advocates of OO have been telling us that it is somehow total (similar to FP advocates) and people have been pushing back on this for a while now.

When applied to information processing especially, it becomes ridiculous, complex and distracting. I call this "Kindergarten OO": You to write code as if you explain the problem to a child via metaphors.

Computational objects however arise naturally and are very obvious. I don't care if those are encoded as classes, with closures or if we syntactically pretend as if they aren't objects. They are still objects.
Thank you for sharing this. Actually, your daughter inspired me to make a web site today. I even took some design tips from her. I was hoping to make programming fun for me and I guess not overthinking and keeping it simple is a good start.
?! I was like, "oh really?" and I checked... you're right, "a German soldier had approximately a 1 in 3 chance of dying during the WW2 conflict"

Dying to protect a political system vs dying to advance science, better pick science.
> So I think its something else

The government allowed Bell to maintain its monopoly position with the understanding that Bell Labs would work for the public good. In other words, Bell was unable to capitalize on what Bell Labs created. Bell Labs, in hindsight, is so significant because everyone else was able to take their research and do something with it.

Google has given us things here and there (the LLM craze stems from papers published by Google), but it seems most of the research they are doing stays within Google. For example, I expect you will struggle to find what you need to start a self-driving car company based on Waymo’s work.

> Google certianly had the talent

Including Bell Labs alumni. They used their time to create Go. If that isn't game changing, perhaps Bell Labs was also a product of its time?
I get what your saying but it’s what everyone uses. At this point it’s like saying write assembly instead of C.

Hopefully people come around but I doubt it.
> It's always, always good to have people in your group who are willing to call a steaming shitpile a steaming shitpile.

A lot of companies really don't want that. They'd rather someone who will say, in Bill Lumbergh's voice "Yeaaaaaaa, I think we ought to maybe workshop that a bit, okay?"

Saying "This code is no good and I'm not going to continue the review" will not pass muster at any modern American office where everyone is expected to wear a positivity-mask.
Story Behind Photograph of Busboy Who Held Dying Robert Kennedy in 1968
you're right, Firefox is gobbling up about half of the RAM

thanks for pointing me in this direction
I went with a PO box to add a layer, but yeah, ham does provide ample identity surface area.
I actually had to change my meditation practice from deeper states to mindfulness meditation, because I would get that depersonalization feeling. Strangely enough, being angry would break me out of that state.
Someone from The Valley told me a couple (~8) of years ago that he didn't like the way SV startup culture had transformed. He argued that in the past, the culture of startups in the valley focused on innovation and disruption. VCs would fund moonshots and small teams doing crazy bew thing.

But nowadays, the valley looks more for "scalability' projects, things that will sell to millions of people.

He blamed the cost of living/hiring in the area. He mentioned that with a lower cost of wages and living. A pre-seed startup could go a long way with family money funding the moonshot.

I think it's sad that as you said even companies with large chunks of money aren't willing to spend in r&d as much as before. I guess a war is needed for that unfortunately.
60% is junk mail because they’re not funded properly. Junk mail provides postage fees that fund them.
Man, I haven't thought of the word Kozel since I studied abroad in Prague 15 years ago. I must've drank two liters of Gambrinus and Kozel every day I was there.

The "dorms" for the School of Economics there were basically two large old apartment buildings 15 min out of the center by tram. One of them had its own bar inside. It was super small and dingy with a bartender who was this middle aged androgynous guy with pink hair. There weren't even tables, just assorted bean bag like seats you might find in a preteen's bedroom.

God that place was so much more me than Texas, and maybe the US, could ever be.
In WWII young men volunteered to join RAF bomber crews and faced an almost 1-in-2 chance of dying, with a far higher chance of getting wounded or captured.
Cryptonomicon is one of the best reads on the planet, it's famous.
I've not seen any gentle pups either elephant cubs. Kids are universally same even in all species. But may be.
> Yeah, but why would a tech oligarch support someone that is advocating limiting tech?

Limiting tech applies to the small players who don't have political power. As long as they have a seat at the table when regulations are passed, they will benefit from any regulation. This is why zucc, altman, andreessen and other oligarchs are vocally for increased regulation (ironically andreessen is calling out regulatory capture for AI while at the same time wants 'clear regulation to eliminate bad actors exploiting the technology for nefarious purposes' when it comes to crypto). Because they will have the right lobbyists ready to whisper the proper regulations to government officials making sure the small guy doesn't have a chance to penetrate or thrive in the market.
Yeah. build quality these days makes this really risky.
> He's only been in America a few years so as soon as he speaks the entire bar knows he's Russian.

Because Americans are so good at distinguishing Slavic languages by ear in a noisy room?

I live near a Russian Orthodox church. People complain about the congregants, but mostly about their parking. A house opposite the church as a Ukrainian flag prominently hung; on the other hand one of the congregants has a sticker of the Ukrainian flag with the don't-tread-on-me rattlesnake. I don't think most Americans care enough to be rude to Russians.

We visited St. Petersburg some years ago, probably 2012. I very much enjoyed the visit. Everyone seemed to be much too preoccupied to give a damn where we came from. The cases of Griner, Gershkovich, and the NCO in Vladivostok do make one wonder about the prospects of American tourists.
Mark Rober doesn't do any engineering himself, he's the CEO who claims credit for what other people do.

For example, he didn't create the glitter bomb, his most viewed video. That was done by Sean Hodgins (making-of video: https://www.youtube.com/watch?v=IpMxOmUcfOI). Sean's name was not mentioned at all in the glitter bomb video. Instead, Mark Rober claimed he built it by himself.
> For folks without, now is a great time to get into the trades.

I'll save my rant on this response so I'll keep it short: It's going to be a while, but I have experience in tech and I'm pretty sure by the time I do the 2-3 years of appreticeships for trades the market will at least be not shit. Not necessarily bounce back, but people will actually be hiring.

Trades is a long term "tech is over" doomism retort. And if you really feel like that that's fine. But I think people right now would appreciate some short/mid term solutions more.
If that's the case, why is it not moot when it comes to freedom of speech?
> That’s why innovation needs communication

I package this as:

"Doing the do" is half the work; "advertising the do" is the other half.

Few ideas are so intrinsically obvious as to sell themselves.
Travelling to any ex-USSR countries on the periphery from the "western" world is taking a nice fun gamble.

The bigger places in Kazakhstan are probably okay, and yeah, you likely would have fun in Tbilisi or Yerevan, but the chance of you having a very bad time in Bishkek or (heavens forbid) the Dushanbe is just too high.

It could be a lot of fun, it would be fairly cheap by western standards, it will certainly be unforgettable, but it can go sideways in so many ways. Not maybe as sideways as Kabul but getting there.

The right time to visit for fun exotic fun times was late 80ies (and I was lucky to have been in those places with my parents then). These days I'd highly recommend against it.
It doesnt help that current quality of life is pretty grim, downright terrible if youre young, heck even if youre pushing into middle age. Possibly beyond but I dont have as much perspective for that demographic.

things that give you the mental resources to take the time to have fun with things are simply not avaliable to most of us these days. As a simple example, young folks have near no chance of ever owning a home, and it is sold as a personal failure. As it being a failure to grind sufficently. Natural human urges and desires, like having a family, are increasingly out of reach and are again sold as personal failures.

Everyone is grim, because the situation is grim. If we dont take the time to recognize how grim it really is, we will be in no position to start fixing it.
yes its hard, as somone who built a wetlab in a maker space for bio materials research and did the hours each day it took to push the bleeding edge on synthetic sea shell analogues to producing a working protocol. i haven't managed to publish the work in a journal due too the fees involved. you can find more on my site https://alexmakes.net/projects/sea_chells.html
Yeah, it's quite an exorbitant price for the trip described. It said flights included which I have to hope is the majority of it.
SJ has undeniably championed great progress at the technology design front. But I think it’s important to acknowledge the bad parts, or rather, the things we lost along the way. Mainly, I think, the push for too much abstractions, needed to introduce the disruptive new medium of PCs to everyday people, holds no “truth to material”. This in turn has made ignorance almost a prerequisite to use computers as they come. There’s a tremendous distance between the way of computers and the way of users, so much so that, specially in software engineering, it feels like a huge portion of the job is just making very long and fragile bridges to connect the reality of machines to these unsound models of “humanized” interfaces. It makes the machine less efficient and the users less powerful than they could be if the mechanical truth wasn’t considered an aberration. In a sense, we’re now trapped within the tyranny of a very particular semiological viewpoint.
Hilarious, I was just about to suggest a monthly dark patterns thread.

Vueling airline is a my lastest candidate for misdirection.

User Goal: Buy a ticket that allows to store your carry-on in the overhead cabin storage on the plane.

They give you only two ticket options at first. Squeeze your small bag under your seat with their strictest size limitations with no overhead cabin allowance or pay extra for checked-in luggage. At that point you look around for an overhead cabin option, alas you find no such option and the lowest tier specifically states overhead cabin storage is not permitted. So since there is no overhead cabin option you're forced to select the check-in luggage option as a last resort.

But several steps later there is the seat selection step. There are some seat options that include overhead cabin storage. The price for those seats are cheaper than the checkin baggage option several steps earlier. So in order not to be the dumbass that bought both checkin luggage and overhead storage for no reason, you go back to the beginning and pick the lowest tier option and click through all the steps all over again...
good audio/video (55:13), https://news.ycombinator.com/context?id=41000605
Yeah, you’re not wrong about that. Although I guess it depends what they think is on your security recordings, or what’s inside the building.

Epstein had some wired cameras at his house…
What kinds of things would go wrong? Robbery? What kind of chances are you thinking? 5%? 20%?

A commonly posted traveler, Matt Lakeman, just visited Dushanbe and didn't get that vibe.

https://mattlakeman.org/2024/06/20/notes-on-tajikistan/
It's a crime, anything who tries to hack a large company without being invited would get seriously prosecuted,

but as the law practice says "If you have billions of USD, laws don't apply to you anymore".
In many cases id say the grindwheel of the mind. Inefficient and has the sole purpose of inflicting suffering. Perhaps not by 'design' but certainly through effect.
So the W3C went through this about 25 years ago.

* RDF for triples

* OWL for modeling upon those triples

* FOAF for graphing and serializing relationships

The technology is already there and works well and it’s generally very simple. The challenge though is just using it.

These concepts are higher order, so the developer using it has to be really smart. I mean actually smart and not pretend smart using some framework bullshit or a package manager to do the heavy lifting. So, that alone eliminates some 80% of developers.

Also, there is no immediate gratification to higher order data modeling. It takes a fair amount of effort to build something worthy of the technology and then it’s just some abstract tool for use in some other related business/product. That then eliminates another 10-15% of developers. That doesn’t leave many people left capable of doing the work and then those people have to be connected enough to have someone to fund their self-learning and building effort.
ASML is using basic research that was funded by the US government; that is why the US has the ability to veto/restrict who ASML sells the encumbered EUV and related other tech innovations, to.
Yes, I'm frustrated of me doing it. I am working for the change.
Many of the boomers were taught to sing a song about the Erie Canal in elementary school. How many of us retained any information about, who knows?
https://www.fcc.gov/document/fcc-makes-ai-generated-voices-r...
> They just memorized enough to pass the exam.

sounds like the exams suck then, to be frank. No one wants to train and despite popular sentiment university is not a training center. So why isn't there some collective effort to make good exams and certifricates? Maybe ones with an active component to start (even my AP Comp Sci test required some Object Oriented coding). The big tech sort of settled on Leetcode, but clearly that doesn't required needed knowledge even within those big tech.
This is why I've been hesitating to support a full drag and drop UI experience for https://www.saasufy.com/ - HTML is not that hard. A 7 year old child can do it. It's good for the brain.

An adult should be able to become proficient at HTML within minutes, hours at most.
Yes, the ability to have critical thinking skills is the key differentiator between the two types of developers mentioned.

I think that is what a lot of these discussions seem to be miss: the issue is not really the hard tech skills/knowledge. It is more about the softer critical thinking abilities or personalities that allow someone to become skilled at something or solve a problem easier/better.
You’re looking at the Nominal Dollars (Millions) column which is meaningless. The 2023 Constant Dollars (Millions) has

2010: 26,162
2015: 23,150
2020: 26,559

Then the actual budget in 2023 is down to 25,384, and 2024 is 24,124 a 5% cut from the year before. https://www.usinflationcalculator.com/
It did happen. I had it happen once to me.

It didn’t happen at this scale though. It’s basically turned into online dating for most candidates.

And yeah, the economic gaslighting is terrible, and it’s going to backfire terribly on the current administration.