skysight-inc/HackerNews huggingface dataset:
Most openssl-CVEs suffer from massive severity inflation.

”If you can fool a client running on AIX to connect to a server with deprecated hashing algorithm from 1986, you can make the client take an extra 40 milliseconds to process the packets”

”CVE 9.9 resource exhaustion DDoS confirmed”
Chemist certainly do. Reactions are carried out at specific atmospheric conditions. E.g. oxygen may well be purged.
Yes.

Try me and find one single counter example to contradict me :-)

(edit: You could try something like ∀ e ⊂ ∅ ∨ ⊤ - adding "or true" at the end - but that's not really what littlestymaar meant)
"But I also think Lisp leads to spectacular burnout as I think it imposes a greater cognitive requirement on the part of the developer."

I have never heard about this as a speciality of Lisp.

> there's a very strong case that Symbolics did outperform others with their software productivity

Symbolics used object-oriented programming in the form of Flavors. It had an integrated, GUI-based development environment. Development was mostly incremental: one can write some piece and run it immediately inside the application under development. Everything runs in a debug mode, without an explicit debug mode. The whole system, the whole documentation, the whole source code was always available. The applications were large, but for today's standards nothing shockingly large.

But there were also downsides. Mostly: hardware developed outside much faster and software had to move there.

First the Symbolics graphics suite was ported over to SGIs running Allegro CL, then also Windows NT systems. A refresh of the graphics suite was developed under the name Mirai.

https://www.youtube.com/watch?v=UNXEemZ_Ysk
I don't think bungie would have cared that much (at least not to the point of taking them to court) if it was just the cheating. Its probably the stalking that made them go "you know what? We have lawyers and more money than you".
I was unhappy with the performance and especially stability of mounting iOS on Linux with gstreamer (GUI in Gnome).

I found ifuse, which turned out to be faster and totally stable. I have copied GBs of photos from my iPhone to my Linux laptop.

ref https://news.ycombinator.com/item?id=37259060
> I cannot speak to Excel's ability to use other languages.

I find it's an overblown issue. Those of us that prefer functions in English can just set Excel to use it. When someone sends you a file it displays in your chosen language. And having the default being localized makes it usable for the majority of people who don't speak English.
if you need to fill a RAD niche in your workflow. Pascal is still around with a nice IDE https://www.lazarus-ide.org/
ZXDU48 B600
ZTE ZXDU48 B600 1U high/19 inch wide output power 3200w, maximum output current 60A/53.5V embedded communication DC power system can be insert 1monitoring module ZTE CSU520Y 2rectifier module ZTE ZXD1500
It's censored. Don't expect anything fancy.
Can anyone recommend a good book on exoplanets speculative biology, flora & fauna, etc?
Racket has Racklog:

> Racklog is an embedding of Prolog-style logic programming in Racket. “Embedding” means you don’t lose Racket: You can use Prolog-style and conventional Racket code fragments alongside each other. Racklog contains the full repertoire of Prolog features, including meta-logical and second-order (“set”) predicates, leaving out only those features that could more easily and more efficiently be done with Racket subexpressions.

https://docs.racket-lang.org/racklog/index.html

Racket also has GUI, and basically everything else you may need.
I think adding USB to I2C chip and connecting it to USB hub would make device self-contained and great candidate for automated testing of USB hardware - i.e. 3 different hardware revisions which needs to be tested after release of new firmware by test software to verify that all 3 are working the same.
> they create detailed software models (usually in C++) of their chips to estimate performance as closely as they can

How does this work? Do they model at the transistor level, or at the level of logical functions, or..? I'm particularly curious how this can estimate performance if it's anything higher-level than a direct transistor-for-transistor, layout-aware, emulation.

I'd be really interested in learning more if there's anything you could share, please. I can find info about chip design software and languages like Verilog (as you mention) but not this sort of modeling.
Simply rewriting it in any language would improve reliability
The thing with discrimination is that the frequency with which it appears is a crucial parameter in the harm it does to people (and we are interested in preventing that harm).

So if I get catcalled as a guy once in 3 years it has a different impact than a girl getting catcalled twice a day.

If someone discriminates me for my white skin once or twice, while I have profited from it my whole life, this is od course wrong, but it won't hurt my prospect in life. If I had a dark skin the racism would be a daily occurance and something that seriously impacts my prospect in life.

So if the actual impact in reality differs, we can also treat those things differently in policy, don't you think?
Is it really? Those applications are very unlikely to even be getting security updates at this point.
"audio-out" no problems, do some search about logitech webcams and 'chipmunk' sound while using their mics, I had really bad time trying to fix that.
Great work! Any plans to open up an API?
Too late, it's too close to the Sun from our viewing angle.

Friendly reminder - don't point your telescope into the direction of the Sun!
It's the same thing. Google needs to track users, and anything that prevents them from tracking users is a problem. Their rules (that they want to impose) are that user information is advertising material, to be tracked, profiled, processed and sold.

They've done a very successful job of masquerading as a cool hip tech company, even coining the totally ridiculous (given the context) "don't be evil" saying.
I am not 100% sure but Firefox VPN is an actual VPN based on mullvad. On the main product page[1], it says it is built with Wireguard which is a VPN software.

[1]: https://www.mozilla.org/fr/products/vpn/
This is like saying because their services suck, then I should downgrade my workflow accordingly.. even though I have never came across a service that will deny unknown domain, but if they do, I will just walk away, it gives you an idea what service is that anyway.

For the QA part, deal with it as if it’s a company email, definitely it won’t be at gmail or yahoo.
He's judging the experience of a website.

What's it got to do with other people's reactions?

He's expressing an interpretation, not a feeling.
This star is 124 LY away. If we launched our fastest ever probe in that direction, which was New Horizons, it would take 2.2 million years for it to reach the system. Assuming the probe could then be still operational to transmit back data, it would then take 124 years for the data to be received.

So the next step would be to build better and better telescopes to observe these planets, learn about their composition, and inspire people to study and fund the sciences.

There are some proposals of how to build fast probes that could visit very close star systems that could maybe, maybe reach a the 4 LY to Proxima Centuri within a human lifetime. But 124 LY is so far that even the Starshot proposal would take nearly 800 years to receive data back.

https://en.m.wikipedia.org/wiki/Breakthrough_Starshot
To me, particularly in the FLOSS sphere, it belies a certain level of amateurism. Particularly when it is the primary method of “support”. As a place of community, it is fine enough. As a place for technical questions? Stop trying to fit a square peg in a round hole and grow the fuck up. Especially since it makes indexing these solutions nigh impossible, even within the Discord app itself, meaning any effort put into fixing them is meaningless.
Which communication methods leak no metadata?

If two people are communicating, the message always needs to know where it's going and in most cases where it's coming from.

Not encrypting the email subject is an implementation detail really.
I'm currently trying to learn Prolog. Reason is because I attempt to reignite my enthusiasm for IT by going back to the roots. And the joy of learning new programming languages / paradigms was what brought me into the field more than 20 years ago.

I find Prolog very challenging for several reasons. I identified 3 levels of difficulty with it:

1) Syntax

2) Reasoning and Paradigm

3) Implementation

1) is things like "\=" for not equal. Those are mostly just inconveniences and Prolog's age is showing there. But I still don't have a firm grip on the pattern matching of lists.

2) is the whole stuff around switching mentally from functions to predicates. I often find myself trapped in trying to reason functionally and if I was very proficient in functional programming that might even work. But so far I'm still at the level of trying to wrap my head around the fact that there no return values and that sequencing via comma (which is actually a conjunction - AND) will be evaluated "kind of" procedural by serial evaluation. This makes it seem familiar but conflicts with the actual paradigm.

3) is the most critiqued aspect of it. There are many Prolog implementations it but they all seem to suffer from the same problems. Like Prolog getting lost in some tree which forces the developer to understand what the interpreter is doing to help it find the right branch. Also the aforementioned confusion that logically (A AND B) is identical to (B AND A) but in Prolog isn't and can make the subtle difference between the program finishing successfully or running until memory is consumed.

In my opinion there is reason why Prolog is one of those subjects that are brought up here again and again and again but without any justification with regard to something about it being "news". It's a very fascinating paradigm and I find it very sad that it doesn't really get any attention today. Just check the list of literature about it - there's almost nothing and what there is either old or distinctively academic.

One reason clearly is the lack of convenient interfacing to other languages. Because even a Prolog genius would probably admit that there is no point in trying to implement anything IO with it.

I'm working through Learn Prolog Now. Which is a good book. Already ordered Prolog in Adventures. I could see several projects for it that would be a natural fit but I already anticipate that eventually my enthusiasm will fade at the point where I'm forced to dig into SWI as soon as I leave the toy level. SWI is also kind of weird. It seems to be the best choice but there are surprisingly trivial aspects about it that I find very unsatisfying (I can load a DB with "[filename]." but I cannot purge it before loading another DB without restarting the session ... or does somebody know how that's done?). That's basically what I observe as far as my as well as other people's experience goes with it: very promising and exciting but eventually disappointing. It shouldn't be like that.

I also believe that symbolic AI / Prolog and deep learning could very well benefit from each other.
Ugh that would make me hate software.
Maybe you can review Quantum Prolog's optional reification of the regular Prolog database in order to be able to backtrack over assert/retract and other destructive predicates to represent actions in eg. robotic planning. Works basically like a call/1 variant where the Prolog database to evaluate against is specified as argument rather than assumed as implicit global default, with the database a freely manipulatable list term of facts or even rules. See [1].

[1]: https://quantumprolog.sgml.io/container-planning-demo/part2....
I'd assumed the OP meant O(n^2), and n(n-1)/2 = O(n^2)
It actually seems like the FreeCAD control scheme almost verbatim, I always hated that thing and its insistence to not provide any way to orbit around the up vector.

Like, are there people whose head does not rotate around their neck on axis but ends up sideways and rolled when they turn or something, to whom this makes perfect sense? I can't see any other explanation.
A chat platform with only textual chat and file sharing isn't an alternative to Discord nor Slack. It is barely a slightly better version of IRC. Unfortunately many messaging softwares seem to not understand what feature parity is.
> On macOS, they also have window management issues, as the operating system regards different profiles as being entirely different apps, so quickly switching between windows doesn't work (and setting specific app icons isn't easy).

I understand the complaint but this is also sort of intended, right? Profiles are completely separate, they are effectively separate programs. They shouldn't be treated as shared context, they are effectively separate installations of the same program they can even be stored in different places on disk. So this seems like correct behavior?

Like, I get what you're saying, but it doesn't sound like your complaint is that profiles aren't encapsulated enough, it sounds like you want something less encapsulated and isolated than Firefox profiles. Of course you can't have an extension that manages your profiles without a separate application, extensions are completely isolated between profiles. Of course you can't share extension information between them, if Chrome allows that that's a weakness of their implementation.

I totally agree that the UX for profiles should be surfaced more (and I think that would be easy for Mozilla to do, a dropdown menu like Chrome offers would be enough). Containers themselves are hidden features in Firefox and I think that's a problem. I agree that profiles should be manageable without going to about:profiles. I'd be open for more isolation tools that sit between containers and profiles too.

But to argue that Chrome is offering more security here when from the sound of things Chrome has less profile isolation than Firefox sort of feels backwards to me. I doesn't sound like you want full isolation, what you want is a less secure version of Firefox profiles that sits between containers and profiles. That's fine, I think that's a completely reasonable ask -- but we should acknowledge that this is not the same as Firefox not offering isolation tools. Firefox does offer isolation tools, they work just as well if not (from the sound of your description) better than Chrome's tools do at actually fully isolating from each other. But it turns out that many users want profile-like tools that trade off some of that isolation and security in favor of greater usability.

The usability is an extremely reasonable complaint. But it just annoys me a little bit to hear someone saying that Chrome has more secure isolation for profiles if their complaints boil down to "Firefox isolates too well, and my OS doesn't ignore that isolation, and extension helpers don't ignore that isolation."
I like Caddy, mainly for the ease of configuration. One thing that surprised me though: by default it has compression disabled. I discovered it 1 year after moving from nginx (with the nginx config having compression enabled) and it was funny, because at the time of migration I got comparable performance out of the two. Obviously, after enabling compression, it’s faster now.
It's slow and downloads tons of large images, some of which don't even work. The body type filters are also wrong, the "year" filters also allow me to select a higher min year than the max year.

I can't remove makes from my filter, unselecting and applying does not remove it and if I have 2 makes, unselect one and apply I suddenly have 4 and it duplicates the list 2x every time.

Some of the makes in the list don't even have dougscore entries.

The "similar cars" aren't close to being similar.
Printed and framed, right?
Without knowing the MRI report it’s hard to interpret this. If the radiologist had missed the spinal bifida then all the other doctors would rely on this report. Then it’s all a single point of failure: a radiologists report.
May be other things, but I suspect the report is the root cause of the issues here.
They said a million email change requests, originating from over 200 IP addresses.

The email requests already happened. So blacklisting the IP addresses wouldn't prevent the email overload.
> I am constantly on the lookout for a monitor that has a USB port/KVM switch built in

Dough (formerly Eve) Spectrum monitors have this feature. They are also great all-round monitors.
Just chipping in with thoughts on DynamoDB, (although I have worked on much smaller scale systems)

I am a long term dev, done lots of SQL, but for the past few years I have been using DynamoDB, and I am using it for my new startup (So I rate it).

Cons
- You have to be very aware of your query patterns, and not having ad-hoc queries is a pain.

Plus sides
- With on demand billing, its free if you aren't using it
- Built correctly, it will scale
- No Schema upgrades (This one is massive for me)

On the last point, I really do appreciate not having to worry about keeping schemas upto date across all devs and environments.

We use quite a simple pattern of a table per entity, as opposed to single table design, because it allows us to just use the API at the highest level of abstraction, where you just write your objects to dynamoDB.
(You can still do lower level requests to poke values and such like)
> Solar panels would be fine, but they're effectively useless without the ability to deliver power.

Perhaps this is an argument for making rooftop solar with storage compulsory then at least we would be able to keep the lights on. Assuming that the building could be automatically isolated quickly enough of course.
86Box v4.0
While there are definitely developers who are enthusiastic about microservices for all the wrong reasons (e.g. it looks good on the resume) I think it's more about how companies deal with complexity.

Companies don't just ship their org chart, they ship all their dysfunction and historical baggage. A beautiful, well-architected platform from 5 years ago, with an efficient, thought-out data model and API and well-written and tested code, might be a total mess after 5 years of constant pivots from the CEO, last minute customer requests the sales team have pushed through, product managers doing their hydrant-meets-dog act of adding features nobody needed or asked for, and never enough people and time to do as good a job as the developers would like.

One day you wake up with a big pile of tech debt and fixing bugs and adding features takes way longer than it should, and microservices are that siren call that promises a solution that doesn't involve burning the whole thing to the ground and starting over.
I find it weirdly theraputic to read things like this, and reminisce about loudly proclaiming the same a decade ago while being shushed as a non-believer...

Please excuse me if the paradigm of "microservices" has left a bad taste in my mouth, but I have real-world experience with the repercussions of whole-heartedly embracing the latest tech-dejour without completely understanding the tradeoffs...

Many years ago I was hired at stumbleupon around the time the leading compsci doctor decided to take a working and profitable monolithic php app and turn it into a scala/java microservices architecture... in fact part of the newhire process was a weird one-on-one with said mad-compscientist where he extolled the many merits of microservices and skillfully dodged questions like "why would you build a distributed service that just adds a list of numbers?" with a bunch of "you wouldn't understand why it's so much better..." type hand-waving. Fast-forward to 30+ new hires and 4+ long years of intense development and the no-longer profitable company was left with a new slower, buggier, impossible to debug distributed hellscape... as the main designer/architect of it all decided it was a great time to take a "sabbatical"... it wasn't long after that the Nth round of investor money ran out and we were all looking for work.
Not sure about the US(?), but in Australia in many cases it would likely be unlawful to discriminate due to pregnancy even if it "impacted her job availability".
Done this with 10lb CO2 containers used for brewing and such. Really doesn't take much CO2 to make a good amount of dry ice.
Distance is 120 light years. So whatever we see is 120 years in the past. Getting there within a reasonable time frame is impossible with our current technology (an unmanned rocket will still needs 1000s of years). The good news: if there is intelligent life it will not easily get here either.
Birb: Programming with bird emojis
Both my B.Sc./Ma.Sc. and Phd institutions (Germany) currently teach Prolog as an elective. One does it as a Bachelor's course of symbolic AI and the other does it as a master's course in Logic Programming and Deductive Databases (together with Datalog).
The problems with Bluetooth have nothing to do with the programming language used to write the stack.
Similar experience. It was frustrating and annoying at first for me too, because I was trying to write imperative code in Prolog syntax. But once the new paradigm clicked in my head, OMG, I started loving it. That moment of enlightenment alone was well worth taking that class :)
PyTorch: Cross-Entropy vs. Negative Log Likelihood
It is extremely rare for USB hubs to support remote power switching of individual USB ports. As someone who develops USB devices, this kind of i2c-controllable hub would save me a lot of cable unplugging.
No, it is only bound to localhost.
I just hate the form factor for now. Putting on a VR headset is still like sticking a console onto your head as opposed to a pair of glasses.

I'm very pro-VR, love "thrill of the fight" and "alyx" but sweating it out with a chunky plastic headset is not something I go back to regularly.
> Memristors can potentially be fashioned into non-volatile solid-state memory, which could allow greater data density than hard drives with access times similar to DRAM, replacing both components.

It's weird I had to scroll down so far to understand what exactly this thing could do.
We use mirrord together with a staging environment to run specific services without the need to bring up the rest of the stack locally (we have ~5 services so it wouldn't even be an issue).
Take a look at https://usermaven.com, you will not be disappointed.
Hyperglass – the network looking glass that tries to make the internet better
It is funny how you talk tjat Excel is bad and the examples just dont work.

Also lack of accuracy in calculating some complicated statistics that "nobody" uses is not really a calculation bug.

Also most of those come from the fact that Excel has a precision of 15 digits.
No, by default it listens on localhost. So only processes running on the same machine can connect to that port.
I think it’s more complex than that. Wealth is often created by monopolising things (e.g. enclosures) instead of by creating them.
> Just use a folder bro

This will be my new go-to response when discussing microservices
Most of those were built by non programmers for "free" (no extra pay).
Steered vs. non-steered multi-network roaming SIM cards – InfiSIM
The Orbo "free energy" device that turned out to be running on batteries in the end.

https://en.m.wikipedia.org/wiki/Steorn

https://www.wired.com/2009/12/orbo-strikes-back-perpetual-mo...
I'm not speaking about this. I'm wondering what pushed jwz to repost his quote.

I have my own stories of sound that don't work 100% fine on Linux. I'm sure it's true of all OSes, try searching "Windows audio issues" on any mainstream search engine for some evidence of this.
Time to build a railgun in space and get some probes to K2-18 b.