skysight-inc/HackerNews huggingface dataset:
If it's a national carrier or a major airline, I think they can probably contact people high enough in the government that visa issues will be quickly resolved. If Air India is losing 200k a day because of a plane being inoperable, I suspect that they can get the Indian government to expedite any visas and allow people to legally stay long enough to fix the plane. Anyone on Boeing's team is probably really low risk in terms of overstaying their visa illegally or committing some heinous crime.
I can't help it but I keep trying to drag the map around. I get that's not how this map is implemented but I've been trained by years of tiled map apps now...
> What does the crypto have to do with it?

How do you regulate Bitcoin like you regulate dollars in the bank?

That's what crypto has to do with it.
You need to set sesman.ini to use Xrdp instead of the Xvnc back-end - that is a packaging issue in some distros. With the right gear you can do 60fps without any issues: https://taoofmac.com/space/blog/2022/10/23/1700
Why is this title wrong? This is a major layoff announcement.
This is true but burning hydrocarbons is always going to be a dirty business. CO2 isn't the only nasty thing that comes out of a tailpipe. Theoretically improvements can be made with synthetic hydrocarbon fuels but you're not going to collect and resynthesize 100% of tailpipe emissions.

With an EV the only harmful emissions are tires and brake pads.

Cleaning up the electrical grid is also a lot more attainable given current technology than scaling up synthetic hydrocarbon production. If a car has an estimated lifespan of say 20 years then I am more confident in achieving cleaner grid power than I am in clean synfuels in that lifetime.

There is also the matter of where you live. Some grids are already very clean and so the EVs that operate there really are low or even zero tailpipe emission.

I am curious how a synfuel ICE vehicle compares to an EV in terms of energy per distance. How much energy does it take to synthesize the fuel?
DuckDuckGo uses Bing under the hood, as they don't have their own index. AFAIK Kagi uses Bing under the hood too.

If people use them, it's basically due to UI and privacy theater.
But we have banking regulation. Which is exactly the point, compared to the unregulated crypto space.
How familiar are you with LA and the Bay Area? The Bay Area has extreme limits on new building.
Developers and sponsors who support the project as part of their profession.
It keeps growing, sending all the bytes again for each eval.
> This lets you use ONNX if you choose and it enables some interesting use cases (like running models in-browser with WASM)

If someone already has an ONNX model, there's already an in-browser capable ONNX runtime: https://onnxruntime.ai/docs/get-started/with-javascript.html...

(It does use some parts compiled to WASM under the hood, presumably for performance.)
Well, this person hasn’t said it shouldn’t be allowed, they’ve explicitly walked it back to saying that most people don’t have a “true need” for IVF, and have made other bad lifestyle choices.

Which seems weird and judgmental, but it doesn’t necessarily have to come from a religious place.

It is hard to speculate about people’s beliefs without putting words in their mouth. But generally people can use all sorts of things (evolutionary biology, economics, whatever) to justify themselves.
I don't want to be a photorealistic version of my human self. That seems so limited and boring.
If it were just a matter of time being longer I would do it more often. However, it is also way more expensive when traveling with two or more people.
Docker Hub Registry timming out
Maybe in the crypto sense but what about the legal sense? Are there regulations in this area? I know regulations are light in the crypto world so it's a genuine question.

Like my bank has my money as well. If possession is all that matters then they would own it too. But luckily there are laws that say that they don't and a bank CEO that withdraws customer funds before a bank collapse is going straight to prison.
And how hot does the bulb get? Googling yields "The surface temperature of incandescent light bulbs varies from 150 to more than 250 degrees" (https://www.pacificlamp.com/temperature-of-a-100-watt-bulb.a...). Which, googling says, is likely hot enough to damage a CPU.
> axioms are by definition arbitrary.

That is very reductive view of what constitutes most axioms.

Merriam-Websters has:[1]

>2: an established rule or principle or a self-evident truth

Etymonline has:[2]

>"statement of self-evident truth," late 15c., from French axiome, from Latin axioma, from Greek axioma "authority," literally "that which is thought worthy or fit,"...

So, no, not arbitrary at all. Which particular axioms do you find arbitrary? Is game theory arbitrary?

[1] https://www.merriam-webster.com/dictionary/axiom

[2] https://www.etymonline.com/word/axiom
You could look at the papers being published in conferences like POPL, LICS, PLDI and ICFP.

The theory of (Moggi) monads and monad transformers has been influencing modern programming (and libraries) very heavily (e.g. all of Haskell, Scala's ZIO vs Cats, Rust approach to returning errors). Most modern programming language research engages in some form or other with linear types (and its relatives, like affine) and they come from Girard's linear logic. Both (Moggi) monads and linear logic are heavily influenced by their inventors learning of category theory. So I'd say, whenever you program in a modern language or use modern library design, you (indirectly) stand on the shoulders of many giants. Some of those giants were category theorists.

Interestingly, what I'm beginning to detect is an influence of computer science on category theory, if only because we want to verify abstract maths in automated tooling.
The Kubernetes community is looking at you with a curious look.
But what you are saying is just that the “range” of morality is handed down by nature. And the idea that this range is “naturally” limited is too often used, as it is in your comment, to make an argument from nature’s authority in favor of certain applications of power that may or may not be good for people. What I think relativism does is restore accountability to the individual and the society for moral decisions, rather than appealing to natural or theological authorities to absolve people and institutions of responsibility for their choices.
Crux: Cross-platform app development in Rust
> for having the temerity to go for it

Well, if he doesn't know there's anything wrong with it, it's not really temerity.
This had been my experience as well. You can replace the low-code solution with a junior coder in a non-coding role. Creating a shadow-IT solution will be a fraction of the cost and time. The risks are the lack of governance and amateurishness, though. Solution: have vertically integrated agile teams so that developers are in the problem space with experienced peers and governance. Why don't more orgs do this?
The second-life knockoffs were only necessary because of the trade-off they made to target low-price HMD market and on-device GPU+CPU processing rather than PC VR or processing puck design. This photogrammetry based avatar stuff has already been working for years. See Meta's previous "Codec Avatar" in 2021 (https://www.youtube.com/watch?v=bS4Gf0PWmZs) or Unreal's MetaHuman (https://www.roadtovr.com/epic-metahuman-mesh-import-scan-rea...).
> On the bright side, we currently have negated the next ice age that comes in 10'000 years

No. We are still coming out of a glacial maximum.
Yup, experiencing the same here, it even managed to fuck up our Nexus proxy somehow.
Perhaps, but they are Meta. With tech like this, they should be well equipped for remote work.

It would be like Ford employees being largely unable to drive. Which I hope is not the case...
> So is there some axiomatic system that can elucidate moral truths, such as the wrongness of stealing, from first principles?

Read Kant.

> Quickly skimmed through it, but: awful, just awful. I challenge Bambrough to prove to me that I have two hands.

Clearly you missed the entire thrust of the argument, and Moore's before it.
also known as angle brackets.
The author is also speaking from personal experience. It is totally possible that (for example) all of his experience has involved him working with other men and in all instances it was in fact, wives, who did the suitcase bringing.

I understand wanting to be inclusive but I think its a bit incorrect to police someone's memories.
The vast majority of CEO's are dark-triad hucksters whose sole talent is self-promotion. Their superficial charm and predatory skills of manipulation are what allow them to rise through the ranks. Once having arrived at the top, they tend to destroy shareholder value as opposed to maintaining or increasing it.
I think you could even take this one step further: Have a captive portal on an unencrypted channel (using TLS obviously) to do the vending, so that the credentials don’t need to be purchased before the flight.
That’s why as a well paid IC I don’t seek or envy that kind of money. Most people in America aren’t able to live comfortably (which IMO comes when you can do any reasonable thing without worrying about the price). But once you can what good is more money?
Another good source for current news on COVID is the People's CDC weekly weather reports: https://peoplescdc.org/weatherreports/
Ray-Ban Meta Smart Glasses Collection
Gemini didn't collapse. the title of this article is clickvair and it purposefully confuses Gemini with Genesis which isn't the winkelvii exchange.
You can run PICO-8 on a Raspberry Pi today. Still a "retro" feel, but they are all new games being written for the platform.
https://www.lexaloffle.com/bbs/?tid=3085
My experience says totally otherwise. I've worked with both. Well written, well factored code is a dream to work with.
Another word of warning - don't take the advice of anyone who claims to know what they're talking about. I remember listening to a podcast where Kevin Rose said that people sitting with crypto in wallets were idiots when they can put it in BlockFi and earn interest at no risk. I was amazed. It seemed so obvious. I put my money in BlockFi and after a few weeks fortunately changed my mind. It seemed too easy. BlockFi are currently going through bankruptcy proceedings.
So double the price for slighly better CPU (3.9GHz turbo speed vs 2.4GHz -or 2.9GHz with OC-, both with 2MB L2 cache), for energy it needs 36W (vs 10W), 2 usb ports (vs 4), no microSD support, and it weights 4 times as much (without including HDD); it does have 256 GB of storage included but for $20 you can get a microSD of the same capacity for the Rpi5 (or 128GB for $10 when that's enough). Yeah, it doesn't look as that much of an improvement.
How is this framed in the US? Solar (and wind) prop up grid that would have failed otherwise? Or the other way?
Train Watcher: live train webcams
Retiring React Native for Rust [video]
Hi, I'm implementing a new lowcode solution based on ionic and nodered and a "custom" part really big to implement ui and interaction with the backend.
Imo this solutions could works if the framework (intended as I described in the first part) is focused on a little problem context (for example: developing application for warehouse terminal or a system to register datas by customizable forms and so on). Without a focus on a single problem is really difficult to create a versatile framework that mantains simplicity as main charateristic.
That's missing the point.

If a human can manage to keep it within 100 feet of a desired altitude, an autopilot most certainly can; it didn't require new technology in the 2000s. Autopilots in the 1960s/1970s weren't seesawing all over the skies.
Yea, and they're laying off bandcamp by selling them to somebody else:

>> We're also making some divestitures. Bandcamp is joining Songtradr, a music marketplace company supporting artists.
There is ongoing research that would allow you to dress up your avatar however you would like.

https://www.youtube.com/watch?v=ZAcavi6aOGY
Are you thinking of Genesis? I was talking about Gemini, the exchange owned by the Winklevoss twins. It has not collapsed. (Disclosure: I am an active user.)

Genesis's lending operations are what collapsed.
Maybe there’s a competitive league but it is invite-only and they haven’t told us :(
Some people just enjoy photographing you know.
Personally I do both.
Unlikely. It's so, so much cheaper and decades faster, to affect the minds of existing voters.
Yeah I don't get how they looked at SecondLife and VRChat and went "no, people don't want that, people want to be entirely themselves in virtual world".
Just use JSON for everything that is supposed to accept YAML, and rely on the fact that the entirety of JSON is somehow a subset of YAML and that most YAML never actually needs the "features" of YAML.

At least with JSON, tooling can help you find invalid syntax in the middle of your file.

And JSON tooling/libraries (compared to YAML tooling/libraries) are usually faster, easier to use, have less bugs and present less incompatibilities between themselves most of the time.
> Now that that ground is conquered and secured

You feel that we have achieved a color blind society?
> The Closure Compiler is so much more than just "JavaScript but with types". It also provides minification, provided a namespacing system, additional standard library and such.

That’s literally what the article is about if you read a few sentences more
I was just diagnosed this year and I was provided the Airsense 10. Is the 11 really that much better?
> No need to call me names for providing evidence that supports my opinion that humans aren't doing a damn thing to change the climate for good or bad

You chose a source to illustrate your point that disagreed with you. It didn't support your opinion.

> It is irrational hubris

Argument by incredulity. The science doesn't care about whether we think its hubris.

> Plants require 150ppm CO2 to survive and grow significantly better in concentrations around 1000ppm

Plants do grow better with higher CO2 concentrations - but they also grow much worse with higher heat stress, which counteracts this. Growing crops will become unsustainable in large regions of the tropics.

> The argument for human caused climate change and that we must do something about the changing climate is simply unconvincing to me.

Based on what? What sources have you read? What makes them unconvincing?

> If you are worried about CO2 emissions we are improving on that front by using cleaner fuels like natural gas instead of coal. If we used nuclear we could reduce CO2 emissions even further.

That is true, though natural gas is only as partial improvement. Renewables and nuclear are much better solutions.
No built-in regulation perhaps, but many jurisdictions are starting to regulate it, for good reason.
Don't confuse Gemini (their exchange) with Genesis, the bankrupt company from DCG.
The usual questions:

- How comprehensive is the part library?

- Is there auto-routing? How good is it?

- "Import formats: DXF". For what, the board outline? DXF is for mechanical CAD. You can't import a board layout or schematic that way.

- "Export formats: PDF, SVG, pixmap, BOM, pick&place, Gerber/Excellon". None of which have enough info for import into another EDA program. This thing is very self-contained, which is unusual for an open source program.

This seems to be is a marketing tool for some board maker. "At this time, you can choose either AISLER or PCBWay as the PCB manufacturer. With every order you start with LibrePCB Fab (or direct .lppz upload on the AISLER website), they will make a 'donation' to the LibrePCB project."
Gemini didn't collapse, Genesis did. The article is very clickbaity.
A few things held closure compiler back in my mind from general adoption:

- First and foremost a Google tool, not a tool meant for the masses, per se[0]. It could do great things, but it had the dependency on closure tools, which were not the easiest to use outside of Google (did anyone outside google actually use the `goog.*` stuff?) and writing annotation files (externs) of libraries and such never caught on and weren't shared in some meaningful way.

- Lacked evangelism. I imagine this had to do with the above. There weren't people from Google singing the benefits loud and proud everywhere about using the Closure Compiler

- Docs weren't the best. Some parts are still broken (links and such).

- It didn't evolve. Closure could have been a pretty great bundler too, actually, but it didn't support ESM for a long time and it was never clear how to get it bundle things even when it did, I think you mostly had to declare each dependency file for it to work correctly, but I never myself got it to work 100%

These are some of the things that I think ended up holding it back. It could have been a cool little ecosystem too. There was a sister project called Closure Stylesheets that was for CSS that was supposedly very good as well, though I think thats no longer maintained. I believe it was very similar to how people use PostCSS in terms of what it did

[0]: Lots of projects use it to minify their JS but never really took advantage of the advanced functionality it can provide on top.
A mobile webapp is still a webapp, and “I cannot share” does not mean “I do not have”.

You’re the one with an extraordinary claim here — that applications aren’t using such a basic, documented, widespread feature.

It’s patently silly and I have no idea why you’re so self-assured in your ignorance.
It feels like the people who develop "search results to GPT" or "random website to GPT" features should know better by now.
They withdrew funds from Genesis, not Gemini. AFAIK, Gemini has not collapsed.
Just the announcement post

Lots of discussion over here yesterday: https://news.ycombinator.com/item?id=37678860
> anything that you “have” on an exchange account is owned by the owner of the exchange, not you

I heard that actually applies to normal banks too. Once you deposit your money, it’s now their money with a promise to repay you what you deposited.
We have a task name, major version, description and commit hash. So the model name will be something like my_task_ v852_pairwise_refactor_0123ab. Ugly but it works.

Don’t store your data in git, store your training code there and your data in s3. And you can add metadata to the bucket so you know what’s in there/how it was generated.
I used to play Rocket League on linux through steam. Epic killed that. They are very bad for linux gaming and I avoid anything Epic like the plague.
It only matters if laws are enforced.
Notice SBF's parents, despite all the involvement with FTX, are still running free.
Love KDE! Thank you for the excellent work! The release of the abomination known as Windows 11 has really given a lot of people the opportunity to evaluate new, and better, things!
Perhaps it's a feature but I wonder how jarring the lack of progression would be given the static nature of models?

If you were to chat with someone daily for a year, you'd never see their hair grow (or get cut) for example but then I suppose we never actively think of these things, just notice when they change.
> I believe that placing the DMA buffer above 16 MB is always wrong in a system with ISA slots.

That may well be true.

the conjunction of (a) ISA slots (needing busmastering! not just legacy io pounding) (b) more than 16MB ram and (c) running DOS ... I don't think that would've been happening often on real hardware anyway.

not when anyone cared, perhaps later as retrocomputing enthusiasts got hold of things.

> it’s entirely plausible that it wouldn’t have been encountered when 386MAX was popular

masterful understatement
> Amazon literally tells you things like "400+ people bought this in the past month"

Yeah, about that. People buy fake purchases for verified reviews too. The scam is a lot bigger than just spinning up dummy accounts. They make fake purchases, sometimes even ship empty boxes, and then switch the listing after a month when purchases are accumulated. You have no way to know that those "400 people" were actually 400 real human customers and not 400 fraudulent sales or how many months a particular listing has been consistent for without being switched.

There are tons of websites, forums, and facebook groups all for doing this. I originally had linked some, but I don't actually want to drive traffic to them, so you can google or dig on facebook for "verified amazon reviews".

And then when a person does leave a negative review, the seller contacts them and says "We'll refund you your money and send you a new one free if you take the review down." And they almost always either take their negative review down in exchange for the refund and free shitty item, because free is free, or update their review to complain about getting the offer, in which case Amazon itself takes the review down for being off topic.
Apache NiFi CVE-2023- 34468 RCE Vulnerability Analysis and Exploitation
Because the model (=="dictionary") is 70B floats -- 280GB naively, 40-70GB aggressively quantized (which might reduce compression rate). If your file is big enough that the marginal compression win over other methods makes this space-effective, sure. But that's a very narrow case.
Import Postman Collections to the IntelliJ HTTP Client
ANSI Art Converter from 2002
There's zero chance this won't happen.

We see that $1000 drones with explosives can be incredibly effective at both surveillance and taking out squads. The fact that these $1000 drones are doing the work often reserved for missiles or artillery with a much higher price tag says just how efficient they are.

Its like the kamakazi pilots, except there's a human driving it, without a human inside.

Ukraine has shown what the future of warfare is. Now everyone is trying to be more efficient at it.
Taking into account the above account of balance as {inner ear, weight on feet, sight}, could it not be both? To knock an industry giant off balance, mess with its internal metrics and decision-makers, its sense of mass and 'which way is down', or its ability to see the outside world clearly (or only engage in places where it cannot see clearly).
Okay, first citation [0]
Joanne St. Lewis is a law professor at the University of Ottawa. Her teaching, research and legal work focus on social justice issues.

She cites no references to support her opinions.

Second citation [1]
Assistant Professor of Law, University of Alabama School of Law. B.A. 1980, Wilberforce University; J.D. 1984, University of Pennsylvania Law School.

Again, it's all his opinion with some supporting examples, but no citations.

Third citation [2]
Bev-Freda Jackson
Adjunct Professorial Lecturer, American University School of Public Affairs

Jackson's article is better, but still includes logical fallacies.
"By recasting anti-racism as the new racism, conservative GOP leaders such as Grassley and U.S. Sen. Ted Cruz, a Republican from Texas, use King’s words that advocated for a colorblind society as a critical part of their national messaging to advance legislation that bans the teachings of so-called divisive concepts." She doesn't explain what the problem is here, why what they're doing is wrong, or how and why anti-racism is not actually racism.
Citing Dr. King's children opens the door to analysis of their character, and their politics.

Thank you though, I now understand that recent academic activists have attempted to diminish Dr. King's message using double-speak to push their racist agenda. They should be ashamed of themselves.

None of the above applies in any way to the TED video (which I watched and enjoyed). Coleman Hughes does not disparage Dr. King or his message, and probably doesn't care much for anti-racist rhetoric.
GPT4 "knows" a lot more about most topics than any single human does. People have this idea that it absolutely needs to be perfectly correct at all times to be useful, but would never hold a human being to that standard.

How many times have you asked a co-worker about something and they gave you a convincing answer that was totally wrong? Did it make you stop asking co-workers for help?