skysight-inc/HackerNews huggingface dataset:
For a large set of problem spaces you can replace "oracle" with "cisco" or "microsoft" or "AWS".

These companies demand a premium over "rolling your own" or "integrating a pile of better at solving a specific problem" products. In some cases the premium is well earned, in others it's just rent-seeking monopolist behavior, depending on how mature the product space is.
I prefer the acronym YIYBY - people like Dean Preston in SF live in large detached historic houses while espousing sardine can overcrowding, bicycles and public transport for the plebs. There is no reason to continue to expand giant historic cities at this point in history, that era is now over.

' The Rise of the Creative Class hit on what now seems blindingly obvious: that the “clustering force” of young creatives and tech workers in metropolitan areas was leading to greater economic prosperity. Don’t waste money on stadiums and concert halls, or luring big companies with tax breaks, he told the world’s mayors. Instead make your town a place where hipsters want to be, with a vibrant arts and music scene and a lively cafe culture. Embrace the “three T’s” of technology, talent and tolerance and the “creative class” will come flocking.'
https://www.theguardian.com/cities/2017/oct/26/gentrificatio...

Ancient history, now replaced by anarchic dystopian urban decay
Nor does VS Code, thanks to being a web page inside a native frame.
The Brazilian Afro-centered version of the 1619 podcast in English
Whatever you think of Elon up until this point, I don't see how you can find him reliable/trustworthy. He specifically said that @elonjet was ok and then reversed course on that.

He's obviously a liar at minimum.
Opera has a built-in 'VPN' option, which is actually isn't a real VPN, but merely a proxy server for web browsing.

It's easy to use and if it's just about hiding your IP address to a web host, this may be sufficient.
https://archive.vn/gteGH
A perfect case in point.
Yes, a lot of times when i have «Linux problems» is because i am installing it in hardware that was not made for it. For example, old Macs, but usually after an evening i get decent results. Have few old macs with Lunux that work nicely. :)
If you haven't seen a doctor do it now. There are progressive conditions which can rob you of your remaining sight if you don't intervene.
I've never met, seen anybody, or anything anywhere by anyone that indicates that bitcoin or any crypto is being used at all that is gaining adoption.

And before anyone tells me that 0.01% population uses it like any place in Africa, this is still extremely close to nobody using it.
December Update: Merry Christmas and Happy New PineTab
These things are awesome. Unfortunately, the "s/o acceptance factor" of me playing around with it and setting stuff other than candles on fire is not that great, so be warned!
Given this is the platform we interact on, you are likely a competent developer right? Would you apply for that job?

Non-tech company seeking competent developers to move 100s of thousands of lines of code and sql scripts written by juniors over twenty years from Oracle to Postgres. Must have plenty of Oracle experience but also Postgres experience. Will have to coordinate with DBAs across business units and coerce them to help you in (eventually) axing them.

There is no amount of money that would get me to sign up! And also I wouldn't trust the current team to interview and recruit competent developers!
At minimum, you'll likely have different effects for links than for buttons.

Component-centered design is very common so the styles for each component that would benefit from :hover may have its own variation on it, for the color differences if nothing else.

:hover is not the only interaction pseudo-class, :focus and :active can also be nested.
> You can't just tear down all the housing and then build public transit there

You absolutely can. Of course you don't need to tear down all the housing. Just enough to retrofit a transport corridor. America already did this to build highways. Or you can replace road infrastructure with transit infrastructure.

I suspect the first step might by to make (parts of) residential neighbourhoods mixed use. This wouldn't need to be done in one fell swoop. It could be as simple as allowing a single house to be converted to a commercial properties (say a grocery store).
> Oddly the limit on alt text is more generous at 1000.

Probably because one of the use cases for this is transcribing images of text. Limiting it too much would mean people using screen readers couldn't get the full context.
Show HN: LeanQt Widgets, item and graphic views – GUI feature complete
I couldn't get MiracleCast to work for this use case. Through pain and effort I managed to share a single screen, but that's about it. Sound didn't work, the latency was terrible (literal seconds of input latency) and input had issues.

I'd love to see the project mature but right now I don't think it's usable.
Nah, just making sure.
You never know, the internet is a weird place.
> On the other hand a work generated by a DNN by itself is not copyrightable

I don't really understand the logic here. I have heard there is also some legal precidence to this claim. But surely using photoshop to create an image doesn't mean that you didn't create the image, but photoshop did? So why should this apply to tools that use neural networks?
I think they mean the performance of VSCode editing a project with Typescript code in it. There's the runtime cost of VSCode checking the Typescript, providing intellisense, etc. (Not that I've ever had that runtime cost be noticeable to me. Maybe it's a real issue on certain codebases or workflows.)
It's good! 2 times is good, 4 times is max.
One as you arrive (put yourself as busy), one mid morning, one after lunch, one in the afternoon.
A two to four hours delay is completely acceptable.
It reminds me of people who pay through the nose for cloud. They've done the spreadsheets and DIYing servers and infrastructure and hiring the people required to administrate it often comes out as more expensive. It's much worse for companies that are not tech companies with lots of in-house IT experience. They often lack the institutional expertise to even hire the right people to manage a DIY infrastructure. So it makes perfect sense to outsource to AWS and pay what seem like very high costs. You're not really buying the compute. You're buying the management.
owl lisp: https://gitlab.com/owl-lisp/owl - https://haltp.org/posts/owl.html - talk: https://www.youtube.com/watch?v=utOVF0U7Zd8

otus lisp: https://github.com/yuriy-chumak/ol - owl lisp with ffi - http://yuriy-chumak.github.io/ol/

owl can compile to c or interpret - otus is a small interpreter 45kb
I find that it doesn't matter which app you use because at the end of the day you need the discipline to update your time tracking when starting and ending your work time.

That's my biggest issue. I work in a chaotic way.
When you're dealing with multiple repos, projects, tasks, contributors etc, version control quickly becomes a very multi-dimensional thing. I generally prefer CLI software where possible, and will happily use vanilla git for personal projects, but once a certain threshold of complexity is passed, a good git GUI seems to add a lot of value.
I'm no engineer but this would be static fatigue[1], no?

"[S]tatic fatigue occurs during prolonged and constant application of stress" (my emphasis) - much like the glass/acrylic at the bottom of a 14m high, 1M litre water column, say.

[1] https://en.wikipedia.org/wiki/Static_fatigue
No there is literally (as far as I'm aware) no high power (45W) workstation laptops that don't throttle under just a while of high load. At least not from the major manufacturers I have to choose from (Dell precisions, Lenovo P series, ...).
If you run a compile job or rendering job then after a while they throttle down as the temps go up.

All I want is a laptop that properly replaces a desktop. One that says in the brochure that "We tested it flat out for 30 days straight and it never throttled once".
I ran into this issue at a large corp. I was a subject matter expert on how a certain product worked so literally would get 500+ notifications daily from (mostly sales) people asking the same questions. I set an auto-reply to anyone that mentioned me that included a link to FAQ and directed them to SEs or CS folks who were responsible for answering these sort of questions. I also linked a recording to the last webinar where I went over what's new and answered questions and a link to the next upcoming one. In the auto-response I set the expectation that a response from could take up to 5 days. This more or less solved that issue.

As for my own channel surfing to avoid working. That's a WIP. Best advice I can give is to maintain a task list. When you catch yourself surfing, go to the task list and see if there is something you can knock off.
Amazing work from the team! I wonder if this is actually the first mainstream language which has managed to remove its "global lock" without breaking changes ?
I mean you could preface what you want to say with Musk is great, but (MIGB) - just like Mike Judge taught us.

MIGB, what makes musk think he can behave like a spoiled brat and people still keep liking him? He’s had his day in the sun and now he’s just a rich annoying brat.
I used to know a chap who liked to tell about how he took one of the worst support calls ever.

He worked for a company that did industrial control systems and he was in the office by himself one weekend and the phone kept ringing - apparently they had strict instructions not to answer the phone but he did it anyway.

On the other end of the line was an irate operator at the Hunsterson nuclear power plant who said something like "I'm standing on top of Reactor B and all your systems have gone down and we can't see what the f*ck is going on and what are you going to do to fix it".

Apparently there was a standard support line but the operator had decided to pick on the name of the company displayed somewhere in the software and look them up in the phone book (this was about 1990) and shout at someone.

It turned out to be nothing to do with the systems this chaps employer was responsible for - they just got the call because their name was visible!
VNC gets a bad rap because it is not very good.

It certainly has its place, but as a remote desktop solution it is the simplest (and stupidest) way that functionality could possibly be implemented. VNC is what you use if you want to copy whatever is on the screen of the remote system, RDP is what you use if you want your displays connected to a remote system.

RDP lets you use all of the client's monitors, printers, clipboard, audio, USB devices, etc. as though they were plugged in to the host. The clipboard sharing extends to files, so you can drag and drop a file from the client to the host via the RDP window. If you lock your workstation at work with a bunch of running programs, drive home, and RDP into it, all of the applications will be moved to your RDP session and rearranged to fit your display(s). The next day you log back in at work and they get moved back to the local displays.

Oh, and did I mention all of this works well even on crap connections? I have been at jobs where a remote branch has such shit internet that they RDP into a VM at the head office to browse the internet because RDP uses less bandwidth than the sites they are browsing.

RDP is one of the things I miss using Linux.
There are several, but I found this one is quite useful: https://github.com/vectorclass/version2

Very minimal API, header only, so easily imported ... I then wrapped up in my own classes for my own purposes: https://github.com/rdaum/sidebands_vst/blob/main/source/dsp/...
For avoidance of doubt, I was talking about the hotel, not your friend.
It is indeed O(N). There is also a more efficient algorithm (in case the range is small) that uses binary search to find the first index. Such an algorithm would have time complexity O(log(N) + H) where H is the number of elements in the output.
They were convinced.
Do I understand this correctly https://nbaa.org/aircraft-operations/security/privacy/privac...

So PIA in a nutshell means that you can request a private identifier for your plane, that is not publicly linkable to you.

And if the identifier is compromised, you can request a new one.

Which would make the identifier itself, and its real-time location, public information, but the knowledge of who owns the identifier would remain as private information.
The Pelosi attacker got motivated by DECADES of Republican hate propaganda. Not responsible journalism speaking truth to power.

The rich and famous cannot have anonymity because you can't be rich and famous being anonymous.
Of course the elite wants to have it both ways: report only what I want you to report.
Suspend on my MacBook Pro also didn't work for >1 year, but seems to be magically fixed now. All OSes have annoying bugs in my experience.
Sounds to me more like Musk is trying to fill in the void left by Trump by creating 24/7 headlines to get people onto the platform.

I'd be willing to bet that the Qanon crowd is also the last set of people who still reliably click on ads and fall for vitality pill scams, so Musk pandering to them makes financial sense.
I went back and forth between a couple of them -- Kimai2 and InvoiceNinja, back when Ninja was still on v4. Ultimately, every time tracking system does things a little differently, and after switching back and forth again, I've settled back on InvoiceNinja v5 (https://invoiceninja.com/).

If all you need is time tracking, Kimai2 and several others will do the job just fine. But I've found in my line of work that it's useful to be able to produce formal quotes and invoices for tracking purposes. Ninja lets you do all of that, no extensions or modules required, and all of the components are integrated with each other (quotes can be converted to invoices, projects, or both, invoicing can be done by task or by project, expenses can be included in invoices, etc.) and it also features a very nice automated emailing system for client invoice/quote notifications and even a guest frontend for them to log into.

So all in all, I've found InvoiceNinja to be extremely useful and can't recommend it enough.
That's false. Musk's jet is not enrolled in PIA, which is just a programme that obfuscates the ADS-B identifier from the FAA's registry. Spotters can still find the aircraft.

However as I said it's not true in this case, the FAA registry entry for the aircraft has the accurate ADS-B hex code identifier, and the aircraft is trackable openly on sites like ADSB Exchange and even using your own ~$20 hardware radio receiver.

Sweeney is doing nothing out of the ordinary for this particular aircraft other than linking the ADSB Exchange API to a Twitter account.

As an aside, there's also nothing illegal nor morally wrong about spotters deobfuscating a jet that's in the PIA programme either. That's just a fig leaf measure, it's not actually effective.
A good piece that express a balanced point of view on the question, even if I'm not convinced by the conclusion and solution proposed
According to https://www.newlift.de/details-referenzen/aquadom.html , several companies were involved. Reynolds Polymer Technology, Inc. provided the acrylic windows: https://www.reynoldspolymer.com/projects/aquadom/ .

ICM has already removed AquaDom from their portfolio page https://icm-corp.com/portfolio/ , but a cached version (for now at least) exists at https://webcache.googleusercontent.com/search?q=cache:XGSNC7... .
Always thought this was a joke until I tried oracle cloud. You could create SKUs that don't exist on the PDF price list, multiple versions of said PDFs and ultimately the most reliable source of pricing was a community compiled list on some shitty forum.

200bn market cap company ladies & gents

In fairness though - they have a great free tier (if you can live with the arbitrary account terminations)
Secrets Horror Stories
Taking anything in its extreme is bag.

The issue is that we have a very obvious issue with housing and said pricing, if you know a method to solve the problem and keep the status quo + with reducing pollution then everyone and their mother will listen.
The #1 thing I saw on Mastodon in my brief time there was, well, people going on and on about how great Mastodon is. Not very useful or interesting.

Oh, and Nazis. That's not very good either.
There are other choices. One of my planned projects over the Christmas break is to use Scala for a personal project.

https://en.wikipedia.org/wiki/List_of_JVM_languages
Yeah Oracle will just change license if that would in any way impact their bottom line
I read this as YC protagonist in all fairness
No CIO ever got fired for buying… Oracle?
PS: Of those who do run it on POWER, how many have only a SE2 license (where the number of cores is not relevant)?
Oracle and AWS offer the same offerings at different points in the product maturity lifecycle.

Oracle absolutely solves very hard problems, provides stability and continuity and is 100% the right solution (cost inclusive) for some hard problems.

I'd recommend you recalibrate your judgement of "all thems"
All your example are pretty much "we already have some old ancient shit that works only with Oracle", not actual features anyone might miss...

> With PG? I don't even know who to call if things are up the creek.

The core developers literally sell support...
Yep, my SE2020 is like that, and was sold in the US
I know this is not what you're saying, but when I read your post I start hearing an internal voice going something like:

Contribute more to e-waste! Pollute more! Consume! Consume!

A bog-standard 8-year old computer would be considered a supercomputer by the standards of the '80s, so at some point we ought to put some effort into making computers feel like the insanely powerful beasts they are. And Electron won't help with that.
Building a Haskell CRUD Stack with Obelisk for PowerZonePack
An example how to use Haskell in web development.
Does that qualify as a (very) short story?
I am flabbergasted.

Article starts with a title on gradient background and company logo. This is implemented as an almost 3 MB png file [1] How come?! Why not a simple text and couple of CSS tricks? Why not an SVG? Don't they notice it takes ages to load?

[1] https://www.apollographql.com/blog/static/Skylark-R-1-d25f13...
Or tiny little windshield wiper arms.
Rather than a full effect system, we're very likely to have lexically scoped "checked" effects with the help of modal types. I briefly talked about it at the end of my ICFP keynote: https://icfp22.sigplan.org/details/icfp-2022-papers/48/Retro...

There are other cool stuff that is being worked on, which I am very excited about: https://discuss.ocaml.org/t/jane-street-compiler-development.... Hopefully, we will see many of these make it into OCaml 6.
Just learned one can run debugging via pdb in notebooks:
https://docs.databricks.com/_static/notebooks/python-debugge...
This is simply the law; as we know, laws or jurisprudence are not always logical, at least not from every perspective. From my point of view, it makes sense to limit copyright to the minimum necessary. And in the case of computer-generated art, it will be difficult to judge anyway whether it actually comes from the artist who published it, or whether it - or parts of it - have merely been generated by a DNN.
I made no argument on any decision, only on a means to answer a specific question of measurement.
OCaml has a reputation for being fast.

https://sixthhappiness.github.io/articles/python-scheme-and-...

Does anyone have any multicore benchmarks that
illustrate performance increases in 5.0?
Geodesic domes made simple
Or wait a further few years and spend $20.

Or a couple years later for it to be 20 cents.

Or a couple years later for them to give it to you for buying a bottle of Coke.

In the interim, they will find ways to make money from us.
Marketing to decision makers is true and tested method to make inferior product popular tho
> getting booed in an SF club (which must be pretty much a badge of honor at this point?)

This comment is about as "(crying wojack face) Im not mad, YOU'RE mad!" as it gets.
Their prediction was either wrong ("children just aren't going to know what snow is") or if you insist ignoring that part of the prediction, so vague as to be unfalsifiable. It's therefore a good example of the problems that have caused skepticism to grow, and what can be done about it.
> dkozel and your kind, whoever you are, wherever you are, and whatever you are doing right now, you are legend.

Perhaps dkozel is reading this right now. :P

https://news.ycombinator.com/threads?id=dkozel

https://lobste.rs/threads/dkozel
The type system for algebraic effects is still in the research and design phase at this point.

Right now, I am not even taking a guess of what will be the defining new major features of OCaml 6 (effect system + modular implicits maybe? Maybe not?).
What is gitea? Is it a Foss and self-hosted GitHub?
I strongly encourage you to check back in a couple of months. I expect things will be a lot more polished then.
The team is currently quite busy with porting mathlib from Lean 3 to Lean 4. This is an excellent stress test for the language, and it's used to find and fix all sorts of minor bugs.
I can confirm it was a great place to visit. I went there 2018 even as a Berlin native. The highlight of the tour was taking the elevator into that water dome. Impressive stuff.

Too sad it’s destroyed - hope insurance will cover all the damage. I wouldn’t want to switch places with the owner currently…
That doc string raises so many questions. First, it says minimum which to me implies that in some cases larger value is used, but no clue when. Secondly, why is the default 1 and what is the allowed range of values? Being 1 implies to me that there is some cost associated with the reservations, otherwise the default would be much higher? Is the 0x33 from the article completely random, would 2 worked just as well? What are the implications of using high value here?
I think Unreal is increasingly going after the AAA space with stuff like Lumen and Nanite, which is great if you are a high end shop chasing after photorealism.

On the other hand, I imagine it forces you into a workflow/rendering style, with custom, simpler art styles being much harder to achieve.

On the low end, where people are still using the tried and tested VS/PS deferred forward rendering, with custom shaders, Godot is becoming increasingly viable.

Fun fact: Tesla's mobile app uses Godot, so in a sense, Godot has already made it.
https://www.reddit.com/r/StableDiffusion/comments/yj1kbi/ive...
Could be. That would mean it was good judgement to read the magazine that the other CIOs were also reading.
Infinity is not a natural number.
Have you had a look at the various ones discussed in the selfhosted sub

https://old.reddit.com/r/selfhosted/search?q=time+tracking&r...
https://pine64.com/product-category/single-board-computers/

Stock is occasionally an issue but worth looking in to.
I'm very happy with https://klog.jotaen.net/ it has extremely simple text format editable from anywhere and a command converting those to JSON (sadly not the other way around).

I've written a Python script to ease my everyday (and monthly) interactions with it like excel report for my employer https://github.com/nazarewk-iac/nix-configs/blob/main/packag...
Occasional issues like these is why I continue to run Windows even though Microsoft has been pulling off all sorts of shenanigans with telemetry, broken file manager / start menu, ads etc.

I really want to move to Linux but unless my laptop manufacturer provides support, its never going to happen. I don't want to think my OS when buying a hardware accessary or a software product.

A laptop's a tool and Windows still provides the most support.