skysight-inc/HackerNews huggingface dataset:
> No.

The really are. By Cloudflare's ow docs, Cloudflare workers are just scripts that are designed to be executed before a request hits the cache.

Quite the far cry from what AWS Lambda offers, which is a generic compute platform that handles both long-running batch jobs and handles events, and can be invoked any way that suits your fancy (HTTP request, events from other AWS services, AWS SDK).

At most, Cloudflare workers are comparable with Lambda@edge.

> The all-inclusive Lambda workers are limited to 50ms of actual CPU runtime and can execute forever (i.e. hours) for IO bound workloads, as long as you stay below the 50 network requests per execution.

You are right. According to Cloudflare's docs, Cloudflare Workers are capped at 10ms CPU time on their free tier, but their Bundled Usage Model plan bumps the CPU time limit to 50ms. There's also Cloudflare's Unbound plan which not only charges per request but also adds charges for duration instead of CPU time (i.e., also charges for idling time when waiting for responses) and that's bumped up to 30s.

https://developers.cloudflare.com/workers/platform/limits

> But they also have a more AWS-like pricing option that’s about 20% cheaper and charges per request, per GB-hour (for runtime, not actual CPU usage) and for bandwidth with a maximum runtime of 15 minutes.

No, not really. Cloudflare announced a private beta for their Cloudflare Workers Unbound Cron Triggers a couple of months ago, but that's about it.

https://blog.cloudflare.com/workers-unbound-ga/

https://www.cloudflare.com/workers-unbound-beta/

I'm not sure how familiar you are with AWS Lambdas, but if you check their docs you'll notice that, unlike Cloudflare Workers offering, they are general purpose and can be even invoked from all kinds of events, including directly from HTTP requests. So, neither they are available nor are they comparable to AWS Lambdas. Thus I'm not really sure why you brought up something only made available through a private beta and is very limited in it's capabilities to compare with AWS Lambda, which is production ready for years.
Looks like you've got some geolocation issues, because you went across the globe for that v4 route lol.
To me it seems it's the only realistic solution ( more realistic than the grid scale storage required to make renewables only work for most countries). What does cost have to do with it? We either want to fix the problem before it renders a big chunk of the planet inhospitable and who knows what else ( e.g. the heat dome in the Pacific Northwest this summer ), or not. Money shouldn't be part of the conversation, like it wasn't in Chernobyl ( though to be fair, it did nearly bankrupt the Soviet Union and being about its downfall).
So it's possible and you reply to a person telling you about a legitimate usecase but you continue to go on about how it is totally useless?
In the real art world replicas are... well replicas. Regardless of how good they are, they're not exactly the same, a trained eye can tell them apart.

That's not the case when making a copy of the file. You get a perfect one-to-one replica that nobody can tell apart in any way.
Your describing a capitalist dystopia where people with capital can buy up commodities on the cheap and then resell it for 200~900% markup. No thanks I rather not want to life in such a dystopia.
I remember a hack for Webcams that in spite of being turned off a malicious attack handled to spy on the user.
Next up: How Eating Insects Is Proof That The Future Is Now.
Wave height/sea state is notoriously difficult to present on video in a way that renders justice. I think it's due to lack of gimbal and probably focal length vs. field of view, and lack of depth perception.
Your hosts will also use SLAAC to determine their permanent 'management' address, that's the one you use for connecting _to_ them.

The 'management' address won't be used as the source addrrss packets originating _from_ the host unless the use of temporary/privacy addresses is disabled.
Looking at the waveforms, you don't get much of one frequency before it switches to the next at 600 baud, so receiving seems challenging to me. Unfortunately, I don't have any information about the receiving circuity. This particular configuration is limited to 8.25 miles, though.
Could you perhaps give a layman’s tl;dr? The article looks like it requires a lot of background knowledge.
Cool footage, but I find it very hard to believe that there has never been footage from inside a hurricane. Is this constrained by some strange definition of what it means to be "inside?"
Nice page, but a strange product.

Why would anyone pay for an API that performs DNS queries instead of just performing a DNS query?
What? Surely not. Someone else still owns the copyright of baseball cards, don't they? Or are baseball cards special in that they come with a kind of copyright ownership when they're sold? I doubt that.
Smart contracts can and do limit the amount which can be minted. And fraud exists everywhere, regardless of institutional controls - this is where community matters.
Damn, I was just kidding but apparently others were not:
https://www.sciencealert.com/scientists-think-we-should-star...
It is called 'the Internet' and can be used to disseminate whatever you want, within or (to a limited extent) outside of the bounds of the law of the land. As long as you remain within those bounds it is generally possible to say what you want although you might have to erect your own platform - in the form of a website, netcast, 'radio' station or video streaming service like Peertube - to be able to speak freely.

Centralised corporate platforms like Youtube, Twitter and Facebook are not public platforms and should not be treated as such. The 'net is the platform and should be treated as such. Just like the old telcos were not allowed to censor the phone lines it should not be allowed for internet access providers and backbone providers to refuse access or transit because they happen to dislike the message. There is a discussion to be had on whether service providers like AWS should fall under this regime, personally I see more in a decentralised approach but there are arguments to be made for including them.
So what's your solution? If there is limited number of 3090 GPUs should they be allocated to those who order them first? By random? Auction?

Scalpers at least ensure you can get it of you really need it (that is willing to pay a lot).
Fun Fact: Rodin was one of the first sculptors to take advantage of reproduction, as he employed craftsmen in his workshop that could build you a custom thinker that was 2 inches tall for a paperweight or another full sized thinker statue for your public park. These statues had his special patina added.

When he died, Rodin destroyed the recipes for his patina but the workshop, run out of an old hotel and eventually becoming the Musee Rodin, continued to make "official" copies. Thus there are 25 full-sized thinkers but only 10 or so have the patina, the rest being made after his death.
imagine there was no dollar, no central bank. all we have is this public ledger with lots of tokens. some are stable and some are variable, some have cool art, some are ugly. That's what crypto is. The deeper you dig, the more you will understand. You can start with questioning yourself, what's money? how much is a gucci bag worth?
I mean I advocate for open systems that can be audited and verified and I still use an iPhone as a daily too although I've been exploring the pinephone on my other sim. I get it. That wasn't my intention to attack the smart guy for using an iPhone. More just like "what do you expect"?
> Coding is the process of fully understanding what needs to be built.

Not every domain affords you the luxury of coding the wrong thing and then fixing it in a later iteration. Sometimes due to financial constraints, other times because people wouldn't exactly be okay with the 0.7.1 version of your plane software leading to crashes until the next patch.

That said, i somewhat agree with you that UML and abstractions can only lead to problems if there's too many of them. A few high level overview diagrams can be good to have, but only as long as they conform to the actual architecture and models 1:1, and as long as they're not made at the expense of actually writing working software and perfecting it.

However, as long as only one person with incomplete knowledge of the domain or requirements is the one to write the code, you'll still end up with sub par solution. Personally, i think that the only way around that would be a paradigm shift of sorts - instead of planning meetings that aren't good enough, you might as well do programming meetings and mob programming in which you'd code the most important architectural bits of the software that you need, leaving the legwork for individual contributors later.

In my experience, code review is far too late for serious decisions to be made. At best, the reviewer will need to wrangle with hammering your sub optimal code into shape, at worst they'll just be like: "Sure, this looks like Java, it can go into the main branch. QA can figure out whether it's good enough or not."
Strange (but interesting (point of view. I always found Frama-C so verbose where spark has most checks as implicit, and has ways to express not-null pointer as types. I've always found eacsl a pain to write and even more with pointer manipulation.

Spark has added checks on memory ownership, that it seems (willing to be corrected) Frama-C didn't have yet.

From a pure tech stack point of view, down there you'll find Why3 and SMT solvers to perform most automatic proof/discharging of verification conditions, and then around that you'll find either a rich set of plugins (Frama-C) because C is... a tall order, or a series of static analysis tools (heavy-duty like codepeer, or lightweight libadalang-based abstract interpretation things) combined into the proof and verification environment. There's also been a lot of amazing work on floating point code verification for both in the previous years, and it was done mostly at the Why3 and SMT solver (or different kind of solvers/verifiers such as gappa) so everyone profits.

And, lest people might think both communities don't interact, the Spark and Frama-C people have an annual (or is it every other year) joint conference.

I'd be quite happy to find more people diving into Frama-C and see what they do and how they manage to write safe software. I'd also be quite happy to see rust building over Why3 (among other things) for their proof/verification efforts. More fruits from all the deep efforts of the verification community.
> Being fluent in the core language of mathematics (basic logic, sets, functions, proof techniques) makes it easy to pick up domain-specific tools when I need them eg statistical relational learning when working at relational.ai, bidirectional type inference for imp.

I feel the most important part of learning higher math for programming is that you learn what it means for a statement to be true. Most people, even most programmers, don't really grasp that which makes most harder problems intractable to them as you can't build a stable tower on "basically true" statements.

Also even higher math is all about creating new useful abstractions for solving new problems, that is basically the same kind of thinking as writing useful reusable programming libraries.
I could have sworn there was something I read when I was young that way more than that goes extinct every year.

Is it really that big a problem? Extinction happens all the time, even before humans came around. It's just what happens when environments go through change.
I wouldn't assume that -- one of my roommates in grad school was a nurse from China who was older because her education had been interrupted by the Cultural Revolution, and she was the biggest beef fan I've ever met.
If you're right that it's the only solution then of course cost is not that important. Many people don't think that it's the only solution, so cost is important.
Wash trading was a pretty common scam in loads of markets until it was regulated.
Koinos – The Fee-Less Blockchain
I know I'm a hopelessly naive hippy, but isn't there some option where we make our case by saying things that are true, rather than saying things that are untrue but alarming in the right direction? I feel like I personally would find online discourse much more helpful if we could do that.
I don't know if it is for Americans only but reading that makes me, once again, very nervous for the next century climate...
You don't need to own the card to do that. Just google image search and look at your screen. If you like cardboard cards, print one on cardboard.
How can one maintain in sync the application database with the permissions database?. Suppose there is a project which uses a postgres database and a spiceDB (backed by a separate database).

This project is a "github clone" and a user has decided to delete a repository with all of its related objects. In postgres these related objects delete automatically in cascade. How can I do the same in SpiceDB to avoid leaving garbage tuples behind?
Section 2.8 here: https://www.cloudflare.com/terms/
Lilac Solutions a lithium technology startup Raises $150 mln
Ruurtjan from nslookup.io here. No one is really using the API it yet. Some competitors seem to be doing well, so I guess there's a demand. Maybe because it's simpler to integrate over HTTP than over DNS in terms of network config for enterprises? Not sure.
Hi, do you have a source for the French nuclear plant use? Some kind of paper? Really interested in real-world applications of Spark and had never heard of such. To me the nuclear world was walled off with very specific tech, different than the stuff from rail or avionics.
Looks like an RV minus the wheels. Why are these things held up as something "new" when caravans and RV's have been around for many a year.
Monads are a particular pattern for function chaining. In OO terminology it is more like an interface than an object, so I would prefer to say that an object support a monad pattern rather than an object is a monad.

JS promises also supports chaining, but not in the same way as the monad pattern.

The Array.flatMap() method implements the monad pattern. The signature (in pseudo-typescript notation) would be:

Array<T>.flatMap(T => Array<T>): Array<T>

I.e the argument is a higher order function which return the same type, and the function also return the same type. This gives unique flexibility in chaining functions, because this:

[1, 2, 3].flatMap(x => [x + 1]).flatMap(x => x < 4 ? [x] : [])

has the same result as this:

[1, 2, 3].flatMap(x => [x + 1].flatMap(x => x < 4 ? [x] : []))

So the functions can be chained or nested, arbitrarily, without affecting the result.

The above is equivalent to:

[1,2,3].map(x => x + 1).filter(x => x < 4)

Which also use method chaining, but not in the same flexible way - you cannot change the chaining to nesting and still get the same result. So not every form of method chaining conform to the monad pattern. (For better or worse - map/filter is clearly easier to read and write, just not as composable.)

Note that the definition of monad says nothing about what the semantics of the chaining method (flatMap() in this case) actually is. It only defines the rules for how they can be chained.

Generalized, the signature is:

Foo<T>.bind(T => Foo<T>): Foo<T>

(The method can be called anything, as long as it support the pattern. Traditionally it is called "bind".)

As far as I know, promises does not support a similar interface.
Decentralised Sovereign Currency. Public Pre-Commitment to Sound Monetary Policy
Docker Captain Bret Fisher talks about alternates
After that, it really gets going with Girard's System F and Martin Loef type thoery.
It never ceases to amaze me how theorists can take simple concepts and make them impenetrable.

A type is a (possibly infinite) subset of all the possible values that can be provided as input to a program, or all the possible results a program can produce.

Type theory is about trying to figure out at compile time, if the inputs to a function are of a certain type (i.e. belong to a certain subset) what type the output will be (i.e. what subset of possible values the output will belong to).

It is not possible to figure this out in general because that would require solving the halting problem, so the art of designing type systems is choosing subsets of the data that allow you to prove useful things about programs at compile time so that you can find errors before the program runs, and eliminate run-time checks and hence make the programs run faster.

The reason people who like dynamically typed languages get frustrated with statically typed languages is that they value development speed more than they value run-time speed or avoiding of run-time errors, so they don't want to put in the extra effort needed to provide the compiler with the information it needs to do these compile-time derivations, or put up with the compiler complaining when it is unable to do them. They just want the program to run, and they're willing to pay for that with some inefficiency and run-time errors.

That's pretty much it.
As impressive as navigating and sailing autonomously is, I’m most impressed by the construction of a camera where the lens isn’t completely sprayed with water while in a storm.
It doesn't make much sense for people who always heard and thought that "an interface just lists the public methods and properties of a class". In that view the classes always come first and the interfaces are unnecessary boilerplate.

However if instead you assume that "a class is just an implementation of an interface", then everything changes. Now the interfaces come first and classes are required to materialize them. In that paradigm objects only communicate with interfaces, never (or almost never) with other classes unless a specific implementation is required. Which is why an interface is always defined for a class even if there is no plan for other implementations of it.

Rather than a "contract", think of an interface as the description of a job. If you ever need to write a safety procedure, does it make more sense to write "In case of fire, call John; John happens to know how to extinguish a fire." or "In case of fire, call a fireman."? "Fireman" is an interface. "John" is a class implementing that job. It might be the only class in the codebase that implements it, but that is no concern of the caller. They just want that fire dealt with.
People go to the name they know. Since for many (most?) people, the word “google” is a verb meaning to search the web, they naturally will prefer that service even if they don’t know why it might be better than whatever is the default.

Meanwhile, it reminds me that we developers don’t understand users or don’t provide understandable interfaces for them.

Observe many people and you’ll see a maddening pattern of browser use: they will use any available method to get to google, and then they will put a url into the google search text box. Perhaps the address bar is inconveniently too high on the screen, or maybe they just don’t know what a url is.
Maybe someone should release a smart context which is a literal MLM/pyramid NFT where everybody in the upline gets a portion of the sale (rather than just the seller and the creator)
I mean everyone can verify the ownership too since it's on the public blockchain?
So, not “facebook” like it used to?
I'm not sure how linear programming has anything to do with ladder logic. Did you mean to put it next to constraint programming, which it does have more in common with?
Most titles now have unnecessary line breaks, in the middle of words. From the front page:

“A world first: Ocean drone captures video f[break]rom inside a hurricane”

“DMV approves Cruise and Waymo for com[break]mercial service in parts of Bay Area”

“Facebook Thrives on Criticism of “Disinfor[break]mation””

(I’m using iOS Safari.)
But not the other way around. How embarrassing :)
I agree 100%. We also have this local vibe where I live and it is mostly composed of 40+ people who have no idea what TikTok is. By the way...you can make the jump from Web 2 to Web 3 and skip Tik Tok altogether.
Care to elaborate? Why an existence of a popular RSS reader has to do with preventing a protocol it is using from being more recognized?
> the first video footage gathered by an uncrewed surface vehicle (USV)
Paris steps up on noise reduction
This was discussed yesterday

https://news.ycombinator.com/item?id=28696257
The unifi UI can't even display the IPv6 addresses of WAN interfaces!
Took a university course on it way back. Seemed about as pleasant to use as Pascal, though the ecosystem around ADA felt non existent. Probably better to use it for lower level logic when stability and correctness are the primary concerns.

On the bright side, at least there's an open source compiler available for it as a part of the GNU project: http://www.gnu.org/software/gnat/

Here's a quick intro to the actual language: https://learn.adacore.com/courses/intro-to-ada/index.html
> it does not update frequently

How often do you retrieve? I find it to be one of the most active
Every blockchain application is useless and only used by idiots, criminals or cranks
If we continued to build nuclear rather than retire them then we wouldn't have any issues today except cars and air. What do you mean "not most cost efficient", there are no other options we know of today. They are all based on future tech we don't have, like being able to store wind or solar etc.

Do you really want to bet the future of earth on the chance that we find a solution to those problems before climate change really becomes a huge disaster? I wouldn't, I would build what we know works. And since many are saying that we are already heading for a disaster, we can say that your bet didn't pay off, the chase for viable solar and wind failed and nuclear was the only viable option.
I was even a tad disappointed. I was expecting a sudden clearing in the clouds, the sun serenely shining down, and the sounds of distant angels singing before the little boat would hit a dark storm-wall on the other side, entering the chaos again.

Expectations really taint one's experience in matters like these.
03008645874
> Is there any field of study where the whole point is NOT to make concepts understandable by humans?

Literary and art critique seems to be that field.
Are you targeting mobile with that? If yes, how does iOS Safari do with WASM and WebGL (since webGPU isnt really supported anywhere in factory settings afaik).
Social media is destroying humanity. Good riddance.
Your argument is about digital art, and has little to do with NFTs. No one is claiming that the owner of an NFT has different access to the piece of digital art itself, of course.
Sometimes you just need to grind in order to acquire a new skill...

Another good example is playing the piano by ear: if you look at YouTube tutorials, they kind of make sense, but if you try to apply those techniques in real life, you tend to fail miserably the first time you try it. I've been playing a bit on the piano everyday, and am now at a point where I can figure out the chords for easy songs in a couple of minutes. There was one video in particular that helped me big-time more recently, but if I had seen the video a month ago, I doubt that it would have been as helpful as it was recently. There might also be lingering some knowledge in my head from videos I watched previously but didn't grasp at the time, so I'll never know for sure.

These kind of skills are all about repetition and growing an intuition for the basics, so you can start thinking at a higher abstraction level...

(for the record: I'm at "campfire level skill": I might take another few decades before you can call me a good player, but it's good enough for having fun and the occasional gig with friends among friends a couple of times a year...)
Yes it is. Completely unique life forms have disappeared forever because of us. It’s absolutely not worth it.