skysight-inc/HackerNews huggingface dataset:
Be My Eyes [1] recently announced a partnership with OpenAI. For years, they have operated a peer-to-peer platform that is staffed by highly-vetted volunteers. Now they will be able to offer audio descriptions using AI.

https://www.bemyeyes.com/
This is simply wrong. The energy of light is always an integer multiple of the energy of a photon. It is not a question of simulations, it is a fundamental aspect of nature. The photovoltaic effect, for example, is not explainable with your model.

Simulations are around 50-60 years newer than the discovery of the photon.

Now, in QFT, I believe the photon itself is not fundamental, the electromagnetic field is fundamental. But even then, fluctuations in that field happen only in integer multiples of the energy of the photon.
Second one you paid a service to get a product.
This is an interesting perspective! So in the long run, it might be economical to hire a hitman and coerce the artist into dying early, saving potentially tens of years worth of royalties.
Q: what workarounds are there?

Maybe open source development and assign copyright to public domain? If you don’t own the software, you don’t have anything to capitalise?

What are FMAANG doing about it?
> if it is used for a legitimate purpose.

Tracking is not a legitimate purpose.
While demanding a 6 month moratorium on all AI development?

What a hypocrite!
Never too late if it makes sense, although it's different enough if you ask me
For some reason most online publications still think we're in the era of paper journals and stubbornly refuse to corredate their articles with references as if they had strict space constraints
I think you cannot really salvage this argument. The way you describe it makes it sound to me that your company's success is ore likely due to luck and not just competence. It's also not clear if you really think this is a model that can scale to the size of Meta or if you just wanted to slide in a humblebrag.
This is about tracking cookies, not about login cookies.
The fact they are labelled in a way do not mean they can legally enforce that.
https://app.diagrams.net/ is pretty ok
Speed up the pull request process. Advice?
Our team is looking to optimise our pull request workflow. We are trying to increase the speed at which we ship (we're a startup). Interested any advice for making the PR system more efficient? Do others face this problem?
> difficult it is to predict policy outcomes

Are they really - or are they pretty obvious to anyone who casually glances at the headline of the policy, but the consequences are a problem after the next election. If you win you can always just blame the other side and if you lose you can blame the other side as well.
That doesn't make sense since there is both greenfield development and maintenance development. By this logic we would have to track our hours and write down when we do maintenance work and when we do R&D.
> Whereas I hate GDPR, because all it has accomplished is making it harder to browse the web. Nothing else.

Simply not accurate. The GDPR has other, more important accomplishments. See also: "gdpr unsubscribe", "gdpr do not contact", "gdpr consent". e.g. https://ico.org.uk/for-organisations/guide-to-data-protectio...

There are also other, less visible accomplishments. I've been on the inside of companies doing a GDPR data compliance check, and for some data stores, simply deciding that this one is not the "system of record", that passes beyond usefulness and setting a time-to-live of e.g. a month or a year, so that data about user actions is not retained beyond that.

This _absence_ of retained PII ( https://gdpr.eu/eu-gdpr-personal-data/ ) that has been encouraged by GDPR will inevitably make some breach somewhere less severe, but "what could have happened but did not" is not a visible accomplishment.

Thinking that it's all about your cookie banner is shallow, dismissive and egocentric.
Surely they don't have built-in compasses, so what would they do in an unfamiliar location on an overcast day?
I'm with you on the unknown part. We could this it as a risk, with the upside that you might have paid less in total by taking the risk and hiring the guy, than buying the proven end result at price reflecting the total value of the asset.

> you can not own an employee.

You own everything the employee produced during the contract, whenever they quit.
I was talking about someone stealing my codebase.

Talking about integrating the code into the LLM, others get the same benefit that you are getting, so I don't really see the issue.

So you can either develop everything on your own, or you can leverage LLM's, helping both yourself and others.
> Prolog also requires you to understand the execution model before you can do much of anything.

This is true of most (all?) languages. Prolog's control flow is ultimately not too different from the usual stack-based semantics people are used to from imperative languages like C (if you're not too ambitious with the backtracking; if you are, best of luck!). The tricky part is perhaps understanding the dataflow that arises from unification. That can be arbitrarily complex but it seems people tend to go no further than difference structures, which are easy to comprehend in terms of pointers. (Yes yes I know, but logic variables are essentially just single-assignment pointers.)

The thing I find deeply weird about the logic programming literature is that if you want to reason about your program you're told to use things like Hoare logic [1] or intended interpretations [2] and not fundamental logical concepts like implementations implying specifications (ala Lamport and many others who grappled with refinement).

[1] see Krzysztof Apt's papers

[2] see e.g. https://people.eng.unimelb.edu.au/lee/papers/dd.html
Do you sometimes have less pain right when you wake up in the morning? Sometimes worse pain in the middle of the night? Permanent redness / new blood vessels? VERY dry? Have they changed shape (more pointy than round, prominent cone like outline against your lower eye lid when you look down)? Yellowing?
Enhancing cloud-native security: Argo and Prometheus oftware supply chain audits
Dissenting politicians join young activists to oppose TikTok bans
It could have also been done with LibreOffice (draw). But many tools can generate diagramms.
It's interesting the generative video attempts aren't starting with something simpler and and growing from there with the audience.

No model, no code makes it a challenge to explore.
Disagree. You definitely need to reconsider the name. It was my first reaction as well.
> I agree with both of you - there's no reason why software should be as inefficient as it is,

Except that it is, and it tends to be development speed.

For example, real world React apps tend to suffer a lot from performance issues, specially when compared with vanilla html+javascript or even the old but true server-side rendered HTML, but it also makes it trivial to implement and rewrite complex UIs that UX designers love to put together. Would it make sense to argue for performance options which lead to productivity hits?
Muscles aching to work, minds aching to create beyond the single need -- this is [hu]man.
It means before you may have had to justify whether software development qualified as R&E, now you don’t. It unambiguously qualifies, if you’re claiming it as R&E. And unlike before, R&E must now be amortized.

But AFAIK you don’t need to claim it as R&E. That everyone has to claim all software development as “research and experimental expenditure” seems completely unfounded and a misunderstanding.
The voters don't know. It has received very little coverage. From what I can see, only Guardian and BBC have covered it, and neither show it on the front page (for me) right now.

Of cases they consider more important are the late Aaron Carter's drug use, a mystery spiral in Alaskan skies, Russian ships accused of spying in Norway, how to combine Ramadan fasting with fitness, potholes in Uganda to name a few.
Where is Xah Lee when you need him?
His critiques of Emacs on this are spot on, imo.
Helps that he backs up his claims (scattered around his site) with data and usability research.

"If emacs just use standard keys for open close save, cut copy paste undo, users will double in 1 year."[0]

[0]Emacs Modernization: http://xahlee.info/emacs/emacs/emacs_modernization.html
To rig something up, to go overboard, to leave something in your wake.
> this is not indentured servitude.

> [...]

> goes on to say how this guy is probably never going to pay the amount back

I don't get what you're saying here. This sure sounds like indentured servitude to me.
... so what? How does any of that justify such a severe punishment? It's insanity. Who actually was hurt by the piracy? Nintendo is still printing money. They're not bankrupt, they're not measurably worse off. None of their employees were hurt. How can what he did possibly justify having to pay a significant part of his income for the rest of his life?
Although getting paid in preferential shares would be declarable income and cause extra taxation, and extra risk of cashflow problems, or perhaps even permanent extra losses if the shares went to zero value.
18 minutes of CPU time vs 22 seconds of CPU time is significant energy-wise too.

(Example from https://github.com/home-assistant/core/pull/86224 by yours truly.)
Looks like they don't so that in the EU, probably because it'd be illegal. I recently deleted my account and the process was fairly painless, just a click of a button and a 30 day wait.

Edit: Just a note though, I had no money or purchases in the account, and I don't know if that affects the process.
> I welcome you to come to a conference I'm arranging on the island of Jylland.

So there will be Mai tais? OK, sign me up. (Phew, good to know Jutland isn't a mere islet. And thank you, diggers of the Kiel canal!)
Thanks for the link. Glancing at it, I still don't see where there's a need to patch system controls for high DPI support, though. The closest thing I see there is for changing their fonts, but that seems different from patching them (no superclassing that I can see, etc.). Moreover, it's for dynamic DPI support (i.e. supporting DPI changes), not high DPI support. Is that what you were referring to?
If an AI could write your tests, doesn’t that suggest the test are just checking implementation details? Unless you describe your business rules in detail.. as a test for example! How could the AI then write those rules as tests.

Perhaps you could automate the boring parts I guess. But maybe that suggests we are working with a poor abstraction that doesn’t allow us to be as terse and precise as we want to be?
Emacs is not terrible for accessibility. This is Parham Doustdar talking about how he uses Emacs as a blind developer:

https://emacsconf.org/2019/talks/08/
The patients who regret laser eye surgery
OT...but brilliant site design. compliments.
I doubt you'll ever again see a model being publicly released for something as capable as this.

I can't say I fully understand the mechanisms by which they achieve that, but it's clear that the powers that be have decided that the public cannot be trusted with powerful AI models. Stable Diffusion and LLaMA were mistakes that won't be repeated anytime soon.
It's rather famous. Written by Leo Szilard but signed by Einstein who later seemed to regret it. https://en.wikipedia.org/wiki/Einstein%E2%80%93Szilard_lette...

I don't understand why it would be in the Spy Museum.
> It's often even compared to pseudocode because well written Python reads like it.

This is absolute rubbish. Go and find me a piece of application code which isn’t procedural math/data manipulation, give it to someone completely new to it and see how easily they (don’t) comprehend it.
> Which makes the concept of an island moot, as it's driven via definition, rather than criteria.

So all concepts that are "driven via definition, rather than criteria" are moot?

Isn't that... All of them?
Black Holes of Information
Bank of America plans 4,000 job cuts despite strong results
I'm partially blind in one eye from cornea scarring from contact lenses, and it really sucks. The light sensitivity is the worst part.
It's a blessing. I loath the slow feedback cycles your get in the BigQuery Web UI. Even for "small" tables, that would fit on your machine. When I expect a longer data exploration or debugging phase, I dump the BQ tables to SQLite. Opening that with SQLite browser lets me iterate very fast.
There appears to be a lot of activity around minikanren [1]. Personally I'm so used to having a powerful metalanguage around (lambda calculus plus or minus a bit) that I can't imagine programming in pure Prolog any more. Which is to say this is probably the way to go in practice, if a subproblem can be solved using logic programming.

[1] http://minikanren.org/
Look at the graph of global emissions. US emissions essentially don't matter in the big picture. This is why massive, coordinated, global action is the only thing that will save us.

This is not a fatalistic "oh, let's not even try then" statement. It's just facts. Yes, we should try. No, we won't succeed if it's just the US reducing emissions.
I'm trying to learn my 2y old kid "left" and "right". It's hard.
"Declarative" is sometimes misappropriated by functional programming. Is there a better term? Perhaps explaining it, as in TFA ("specify what, not how")? Or explicitly distinguish from fp? Or some other way?

I think it's fair to say that declarative programming can only work well for "simple" problems (i.e. not requiring turing equivalence), and the strongest wins are when a declarative approach is discerned that didn't seem possible - perhaps by slightly simplifying the problem, to cross this threshold.
I think unfortunately the ‘we’ll fund anything, no matter how stupid’ era of VC (not specifically YC) is over for the time being.
Wow. It even contains a small copy of itself!

Works fine for me in Firefox for Android.
Let’s just surrender our encryption too and let the spooks spy on everything openly because of an isolated “terrorist” attack that also most likely is a false flag orchestrated by the same spooks.
There are surely more than one, but this happens only close to the sea and the general flow of the river is still into the sea.
Prolog being tied to this very specific execution model of SLD resolution is somewhat root to the problems you have described. The promise of declerative programming in general, and logic and constraint programming specifically is, that programs are easier to reason about because the execution model is abstracted away and there's a relatively simple and mathematically pure definition of the model(s) of a program.

But again and again one uses extralogical constructs in Prolog programming.

Case in point: basically all your mentioned alternatives (Datalog, SMT, I'd add ASP) have implementations that use the Prolog syntax or something close to it with very similar semantics. But not being tied to that specific execution model can give you (better) answers or more complete answers, termination guarantees, or other things we might need.
The title is incorrect. It says that Netflix will run its DVD service for another 25 years, but the article says it's ending the service now.
Without criticising the current Show HN, there are a bunch of existing Auth services that are free or close to free.

- Auth0 (up to 7000 users, if I can read the comparison page right)

- Supabase Auth (50,000 MAU).
like those 325 different sellers on Amazon for same poor-quality product imported from China.
Entirely possible they already have gone in that direction, but you'd have to ask someone on the e-client team, or whatever they call it now!
But deciding that some concept A is defined by criterion / set-of-criteria B is itself normative, a definition by fiat.
Do not underestimate the usefulness of the context-based menu bar. It will save you an apropos on many occasion, and open your mind to new actions that you missed on the first skim of the package methods.
Building a Progressive File System with Webnative SDK
Ruff is great, but it lacks a lot of the rules[1]. As far as I understand it reads every file in parallel, if that is still the case there are categories of issues it cannot detect. In my case ruff cannot fully replace my existing tools, but makes for a great companion.

1: https://github.com/charliermarsh/ruff/issues/970
I think it's worth it, if you are a tinkerer and if you look at that kind of software as a "Personal Development Environment" a phrase I first heard in this video[1]. So, yeah the focus is on creating software that is tailored to your requirements. If your requirements are that someone else has to be able to use it, because you do a lot of pair programming, then that's something to consider.

I've tried a lot of editors over the years... Currently I'm using neovim. It's been pretty nice--after some major adjustments. I like altering my configs and changing what's not working for me. Would I use it exclusively? No, but it's a nice tool to have in my toolbox. And with some effort it also can look very pretty.

[1]: https://www.youtube.com/watch?v=QMVIJhC9Veg&embeds_euri=http...
This needs to be a screensaver.
I tell my kids (18(f) and 15(m)) to find out what they are really passionate about. Then we will try to find a career for that passion.
Once we have that we will see what kind/level of formal education is needed to pursue that career.
If you need a degree for that, well, work for that degree.
Here in Germany most jobs are based on apprenticeship, so that is a very viable option. And part of that apprenticeship will be what in the US is Trade School.
The rule of thumb I go for with boats is that the vessel with worse steering has right of way. For instance a freighter has right of way over a sailing boat regardless of direction or wind because the freighter isn't going to be able to change course in any appreciable amount of time.
Yubico is merging with ACQ Bure and intends to go public
Have a read (or listen to the brilliantly read audiobook) of Master and Commander, and the subsequent series of novels by Patrick O'Brien. Apart from being entertaining historical novels, you learn a lot about naval life and terminology. Reading them I am struck by just how much nautical lingo made its way into common English usage.
Two comedians went deaf and blind for 50 hours as a challenge. The blind one did not have a very good time.

https://www.youtube.com/watch?v=Gw9FituzSXk
How many of these have common non-nautical uses? I don't think I ever use any of these terms, or hear anyone else use them, in common speech.
"I'm" not going to be doing anything. The facts are, we can't consume like Americans do now, globally, on a per capita basis and expect to have a future as a species.

What would you propose? Your choices are essentially a massive, global reduction in consumption, or having many fewer people on the Earth.

You might think there's a third choice ("massive increases in energy efficiency"), but you have to show me that we can do those things in time, based on current technology, in order to convince me it's a viable option.
I have Relay Pro on Android. I really like it and didn't mind paying for it, but it ain't like I'd pay a subscription for it, and especially not if its for some neutered version. Guess this is what kills reddit for me, its been coming for a long time anyways
There's a nice book[1][2] about Prolog, with modern characteristics. Moreover, there are things like ProbLog[3] and DeepProbLog[4] that allow you to use probabilistic reasoning and power of machine learning. I am personally looking forward for Scryer Prolog[5] to achieve its goals.

[1] https://www.metalevel.at/prolog

[2] https://github.com/triska/the-power-of-prolog

[3] https://github.com/ML-KULeuven/problog

[4] https://github.com/ML-KULeuven/deepproblog

[5] https://github.com/mthom/scryer-prolog
The fact that you need to understand the execution model is not a limitation or an accident: it's a feature. One of the aims of prolog is to PROgram in logic. There are plenty of other logical frameworks that you can use to formulate a problem, make deductions etc, but then what do you do? The point of Prolog is that the operational and declarative semantics concur (excuse the non-exact verbiage). People mistakenly think this means there shouldn't be an operational semantics, or that it's a failure if you have to learn about it. If that's what you need, Answer Set Programming (or SMT solvers etc) might be a better fit. But that's not what Prolog is aiming to be.
Didn't like zones of thought personally, a very fantasy concept.
So, ah… HR is getting cuts too, right?
Why is the wait so long? Here in Delhi, I can walk into a private MRI scan center and get a scan anytime for under $100, even at the top centers.

The wait time for government subsidized scans is longer but still not 6 months, and Delhi has far more people than any Canadian city.
Yup. Exactly. And from that perspective this is actually a good thing, because now you don’t have to worry about whether software development qualifies as R&E.
I'm not really sure what city in Romania you're talking about, but if it's one of the higher population ones I'll tell you that the "housing in place of factories" is an exception. Most development happens outside of the city centre and has so little thought or care put into it it's almost third country-like.

Zero supporting infrastructure (anything I've mentioned in the previous comment), and the design of the streets sucks as well. You get into a case similar to US suburbia, where if you want to reach an apartment building 10m across from another you need to go around half a mile because no one thought of building pedestrian access from one street to another.

Also most new development isn't "single family homes", it's "10 story cheaply built human concrete farms" because that's the most profitable (and also the mayor is in cahoots with the real estate mafia).

There is a lot more to talk about the corruption of Romanian cities but I'll leave it here.
Super shallow and confusing article.
One of the counter arguments for savings account presented in the article is that it’s “risky” because deposits over 250k are not insured.
As we have seen with SVB all deposit holders were bailed out even above that limit and in case of Apple account, the entire Goldman Sachs would have to go bankrupt for a similar situation.

I’m curious to see what startups will emerge that will make it more worthwhile (risk/reward) to invest than a stable 4% every year.

I think on the broader stock market some staple stocks like food and oil companies are probably going to outperform the savings rate but not without risk.
A growing backlog
I think Elon does have to pay the debt interest rate if Twitter can’t add more debt to its books.
Does not work with Firefox, Firefox Focus, Safari, nor Brave on Apple iOS iPhone.

it says:

WebGL is not enabled :(
This website needs WebGL to render a map of reddit.

You can try another browser. If the problem persists - very likely your video card isn't supported.
I am wildly guessing that Theo’s beef is more that rust uses a lot of memory (paraphrase: 640kb should be enough for anybody). OpenBSD does integration builds on a variety of different systems, and maybe Theo noticed the OpenBSD/386 build failing due to lack of necessary memory?
You'd be right. It's sad to hear that it happens in Sweden as well.
What do you mean by "misappropriated"?

You can try running with what wikipedia says [1] or stack overflow [2]. You could say it's PL marketing terminology from the 1980s and 1990s (FP + Prolog v the world). Roughly these languages aren't based on the idea of changing state, but of course that idea eventually ends up in there somewhere (e.g. monads and laziness in Haskell, DCGs in Prolog).

On the positive side, I'd be comfortable saying that SQL is declarative.

I'd be wary about bringing Turing completeness in here. It seems irrelevant.

[1] https://en.wikipedia.org/wiki/Declarative_programming

[2] https://stackoverflow.com/questions/129628/what-is-declarati...