Unlurker|Replay|About
Apple releases open-source model that instantly turns 2D photos into 3D views (github.com/apple)
•
Hugging Face model: https://huggingface.co/apple/Sharp and demo: https://huggingface.co/spaces/ronedgecomb/ml-sharp
Apple is not a serious company if they can't even spin up a simple frontend for their AI innovations. I should not have to install anything to test this.
•
It's included in the ios photo gallery. I think this is a separate release of the tech underneath.
I’ve been using some time off to explore the space and related projects StereoCrafter and GeometryCrafter are fascinating. Applying this to video adds a temporal consistency angle that makes it way harder and compute intensive, but I’ve “spatialized” some old home videos from the Korean War and it works surprisingly well. https://github.com/TencentARC/StereoCrafter https://github.com/TencentARC/GeometryCrafter
•
I would love to see your examples.
https://raw.githubusercontent.com/apple/ml-sharp/refs/heads/main/LICENSE_MODEL "Exclusively for research purposes" so not actually open source.
•
Meta’s campaign to corrupt the meaning of Open Source was unfortunately very successful and now most people associate releasing the weights with open source.
•
It's deliciously ironic how a campaign to dilute the meaning of free software ended up getting diluted itself.
•
It's gratifying. I used to tilt at windmills on HN about this and people would be telling me with absolute condescension how the ship had sailed regarding the definition of Open Source, relegating my own life's work to anachronism. People slowly waking up to how daft and hypecycle misusing a term was all along has been amazing.
•
The readme doesn't claim its open source either from what I can tell. Seems to be just a misguided title by the person who submitted it to HN The only reference seems to be in the acknowledgement, saying that this builds ontop of open source software
•
Should the title be corrected to source-available?
I don’t agree with this idea that for a model to be open source you have to be able to make a profit off of it. Plenty of open source code licenses doesn’t require that constraint
•
And you would be wrong as a simple question of fact.
Is this the same model as the “Spatial Scenes” feature in iOS 26? If so, it’s been wildly impressive.
•
I am thinking the same thing, and I do love the effect in iOS26
OrangePi 6 Plus Review: The New Frontier for ARM64 SBC Performance (boilingsteam.com)
•
e-*ing-waste if you have to wait for manufacturer to provide supported images. Upstream the drivers to the mainline kernel or go bankrupt. Nobody should buy these.
•
Why bother with these obscure boards with spotty software support when you can get a better deal all around with an x86 mini PC with a N150 CPU?
From the article: "[...] the Linux support for various parts of the boards, not being upstreamed and mainlined, is very likely to be stuck on an older version. This is usually what causes headaches down the road [...]". The problem isn't support for the ARM architecture in general, it's the support for this particular board. Other boards like the Raspberry Pi and many boards based on Rockchip SoCs have most of the necessary support mainlined, so the experience is quite painless. Many are starting to get support for UEFI as well.
•
That makes sense, as the Pi is as easy as x86 at this point. I almost never have to compile from scratch. I'm not a compiler expert... But it seems each ARM64 board needs its own custom kernel support, but once that is done, it can support anything compiled to ARM64 as a general target? Or will we still need to have separate builds for RPi, for this board, etc?
•
Apart from very rare cases, this will run any linux-arm64 binary.
With RAM it will be costing notably more, with 4 cores instead of 12. I'd expect this to run circles around an N150 for single-threaded perf too. They are not in the same class, which is reflected in the power envelope. BTW what's up with people pushing N150 and N300 in every single ARM SBC thread? Y'all Intel shareholders or something? I run both but not to the exclusion of everything else. There is nothing I've failed to run successfully on my ARM ones and the only thing I haven't tried is gaming.
•
Because most ARM SBCs are still limited to whatever linux distro they added support to. Intel SBCs might underperform but you can be sure it will run anything built for x86-64.
•
Are you sure you don't have single-threaded and multi-threaded backwards? Why would the A720 at 2.8 GHz run circles around the N150 that boosts up to 3.6 GHz in single-threaded workloads, while the 12-core chip would wouldn't beat the 4-core chip in multithreaded workloads? Obviously, the Intel chip wins in single-threaded performance while losing in multi-threaded: https://www.cpubenchmark.net/compare/6304vs6617/Intel-N150-vs-CIX-P1-CD8180 I can't speak to why other people bring up the N150 in ARM SBC threads any more than "AMD doesn't compete in the ~$200 SBC segment". FWIW, as far as SBC/NUCs go, I've had a Pi 4, an RK3399 board, an RK3568 board, an N100 NUC from GMKTec, and a N150 NUC from Geekom, and the N150 has by far been my favorite out of those for real-world workloads rather than tinkering. The gap between the x86 software ecosystem and the ARM software ecosystem is no joke. P.S. Stay away from GMKTec. Even if you don't get burned, your SODIMM cards will. There are stoves, ovens, and hot plates with better heat dissipation and thermals than GMKTec NUCs.
1. Wow, never thought I'd need to do an investment disclosure for an HN comment. But sure thing: I'm sure Intel is somewhere in my 401K's index funds, but also probably Qualcomm. But I'm not a corporate shill, thank you very much for the good faith. Just a hobbyist looking to not get seduced by the lastest trend. If I were an ARM developer that'd be different, I get that. 2. The review says single core Geekbench performance is 1290, same as i5-10500 which is also similar to N150, which is 1235. 3. You can still get N150s with 16gb ram in a case for $200 all in.
•
> review says single core Geekbench performance is 1290, same as i5-10500 which is also similar to N150, which is 1235. Single core, yes. Multi core score is much higher for this SBC vs the N150.
↙ time adjusted for second-chance
Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize (github.com/DeepMyst)
•
Website link on Github points to https://deepmyst.com/ But actually hosted on https://www.deepmyst.com/ with no forwarding from the Apex domain to www so it looks like the website is down. Otherwise excited to deep dive into this as this is a variant of how we do development and seems to work great when the AI fights each other.
•
It's a good thing (/s) that Chrome now hides that fact. So it looks like the same domain is down on one tab and working on the other.
Neither the original issue (having three models) nor this one (un consolidated payments) have anything to do with the end result / quality of the output. Can you comment on that?
•
(BTW, givent token cashing your argument of 3 x 1 = 1 x 3 deserves more scrutiny)
•
That might be true but if you change the system instructions “which is at the beginning of the prompt” then caching doesn’t hit. So different agents would most likely skip caching unless the last prompt is different then you get the benefit of caching indeed
•
Executing multiple agents on the same model also works. I find it helpful to even change the persona of the same agent “the prompt” or the model the agent is using. These variations always help but I found having multiple different agents with different LLMs in the backend works better
•
I love where you're going with this. In my experience it's not about a different persona, it's about constantly considering context that triggers, different activations enhance a different outcome. You can achieve the same thing, of course by switching to an agent with a separate persona, but you can also get it simply by injecting new context, or forcing the agent to consider something new. I feel like this concept gets cargo-culted a little bit. I personally have moved to a pattern where i use mastra-agents in my project to achieve this. I've slowly shifted the bulk of the code research and web research to my internal tools (built with small typescript agents).. I can now really easily bounce between different tools such as claude, codex, opencode and my coding tools are spending more time orchestrating work than doing the work themselves.
A workflow I find useful is to have multiple CLI agents running in different Tmux panes and have one consult/delegate to another using my Tmux-CLI [1] tool + skill. Advantage of this is that the agents’ work is fully visible and I can intervene as needed. [1] https://github.com/pchalasani/claude-code-tools?tab=readme-ov-file#tmux-cli-terminal-automation
•
This is cool, if Codex or Gemini CLI is supported it would be good to have a section in the readme indicating shortcomings etc (may have missed)
•
The idea works well with or without direct integration. You can have a cli agent read arbitrary state of any tmux session and have it drive work through it. I use it for everything from dev work to system debugging. It turns out a portable and callable binary with simple parameters is still easier to use for agents than protocols and skills: https://github.com/tikimcfee/gomuxai
•
Claude code, Gemini and codex are all supported but need more testing so I would really value the feedback, bug reports and contributions as well :D Contributions will be highly appreciated and credited
•
I've had good success with a similar workflow, most recently using it to help me build out a captive-wifi debugger[0]. In short, it worked _pretty_ well, but it was quite time intensive. That said, I think removing the human from the loop would have been insanity on this: lots of situations where there were some very poor ideas suggested that the other LLMs went along with, and others where one LLM was the sole voice of reason against the other two. I think my only real take-away from all of it was that Claude is probably the best at prototyping code, where Codex make a very strong (but pedantic) code-reviewer. Gemini was all over the place, sometimes inspired, sometimes idiotic. 0: https://github.com/pjlsergeant/captive-wifi-tool/tree/main
•
This is exactly why I built Mysti because I used that flow very often and it worked well, I also added personas and skills so that it is easy to customize the agents behavior and if you have any ideas to make the behavior better then please don’t hesitate to share! Happy to jump on a call and discuss it as well
What prompted you to build this?
•
I used to get stuck sometimes with Claude and needing a different agent to take a look and the switch back and forth between those agents is a headache and also you won’t be able to port all the context so thought this might help solve real blockers for many devs on larger projects
Anyone knows of something similar but for terminal? Update: I've already found a solution based on a comment, and modified it a bit. Inside claude code i've made a new agent that uses the MCP gemini through https://github.com/raine/consult-llm-mcp . this seems to work! Claude code: Now let me launch the Gemini MCP specialist to build the backend monitoring server: gemini-mcp-specialist(Build monitoring backend server) ⎿ Running PreToolUse hook…
•
Here's a portable binary you drop in a directory to allow agentic cli to cross communicate with other agents, store and read state, or act as the driver of arbitrary tmux sessions in parallel: https://github.com/tikimcfee/gomuxai
•
This is very interesting, maybe I can also integrate it into Mysti
•
Happy to help build said integration with ya, feel free to post an issue, fork, or send me a dm. The tool itself exposes the internal DB as well so others with interest can access logs, context, etc.
Why make it a vscode extension if the point of these 3 tools is a cli interface? Meaning most of the people I know use these tools without VSCode. Is VSC required?
•
Huh. I know hundreds that use LLMs in a VSCode based IDE, and 3 that use the CLI.
↙ time adjusted for second-chance
Some Junk Theorems in Lean (github.com/James-Hanson)
Doesn't this allow one to prove x=y for any x, y? x/0 = x(1/0) = x*0 = 0, so x/0 = 0 for all x. So x/0 = y/0. Multiply both sides by 0: x = y.
•
What theorem did you use that allowed you to multiply both sides by $0$? (That theorem had conditions on it which you didn't satisfy.)
There’s a good blog post on this by Kevin Buzzard. I suggest to give it a read: https://xenaproject.wordpress.com/2020/07/05/division-by-zero-in-type-theory-a-faq/ I found the last section especially helpful.
•
Thank you! This hit the nail on the head for me, though I probably need to try out a few more examples to fully convince myself. TL;DR: It's actually harmless (and often convenient) to "inflate" the domains of partial functions to make them total (by making them return arbitrary junk values where the original function is undefined), provided that every theorem you want to apply still comes with the original, full restrictions. Kevin's example is good. My stupider example would be: We can define a set that contains the integers ..., -2, -1, 0, 1, 2, ..., plus the extra element "banana". If we define the result of any addition, subtraction or multiplication involving a banana to be 42, and to have their usual results otherwise, then, provided that we add the condition "None of the variables involved is banana" to the theorem "x+y = y+x", and to every other theorem about arithmetic , anything that we can prove about arithmetic on elements of this set is also true of arithmetic on integers.
Thanks. > If you find that you're depending on a junk value in a way that's incompatible with what you wanted to prove This is the part I'm struggling with. How would you actually know/realise that you were doing this? It seems like "the mathlib way" you describe is choosing to rely on programmer discipline for something that could be enforced automatically. My fear is that relying on the junk values of functions (values where their "proper" partial counterparts are not defined) is somehow unsound (could lead to proving something untrue). But perhaps my intuition is off here? If so, I think the specific junk values chosen must not matter at all -- e.g., having sqrt return 42 for negative x values should work just as well, am I right?
•
It is enforced automatically for most purposes: If you're writing a proof involving e.g. the sqrt function, you want to use theorems about it, e.g. that (sqrt(x))^2 = x. Almost all of those theorems have x>=0 as a precondition, so you do need to prove it when it matters.
Show HN: Ez FFmpeg – Video editing in plain English (npmjs.com)
•
npm? Have we learned nothing from the weekly node/npm security breaches? Not putting that hot mess anywhere near my dev box, thanks.
“It's really not that hard” I’m going to guess your job does not involve much UX design?
•
I'm not saying it couldn't be better (and I even gave examples), my point is that the drawbacks of such a wrapper outweigh the benefits, at least when it's such an oversimplified one. I've said in other replies how I'd be very interested in e.g. an alternative libav* frontend with better defaults and more consistent argument syntax, but I don't think that this invalidates my criticism of the linked project.
Yes, I am not opposed to ffmpeg wrappers in and of themselves. Some decent ffmpeg wrappers definitely exist. But I argue in my comment above that this specific tool does not have better QoL - again, since it reencodes unconditionally with quality settings that are usually not configurable.
•
> Days since last ffmpeg CLI wrapper: 0 >It's incredible what lengths people go to to avoid memorizing basic ffmpeg usage. It's really not that hard, and the (F.) manual explains the basic concepts fairly well. Not really sure how else I was supposed to interpret your comment but clarification taken. > But I argue in my comment above that this specific tool does not have better QoL For some folks it may be better/more intuitive. It doesn’t hurt anybody by existing. We all compromise with different tools in our lives in different ways. It just reads to me like an odd axe to grind. Simply put: What is so bad about the existence of this project?
> Some people just want to use a tool to do a job swiftly. Not everything has to be educational. > some folks want to use lossless cut In that case I would encourage you to ruminate on what the following in the post you're replying to means and what the implications are: > "ff convert video.mkv to mp4" (an extremely common usecase) maps to `ffmpeg -i video.mkv -y video.mp4` here, which does a full reencode (losing quality and wasting time) for what can usually just be a simple remux Depending on the size of the video, the time it would take you to "do the job swiftly" (i.e. not caring about how the tools you are using actually work) might be more than just reading the ffmpeg manual, or at the very least searching for some command examples.
•
As the other person said (and this is my mistake for not capitalizing), Lossless Cut is a popular CLI wrapper for ffmpeg with a (somewhat) intuitive interface. Someone is going to be able to pick up and use that a lot faster than they are ffmpeg. I think a lot of us forget how daunting most people find using a terminal, yet a lot of those people still want something to do a simple lossless trim of an existing video. It’s good that they have both options (and more).
•
The thing is that when a video is being re-encoded, so long as I'm not trying to play games on my computer at the same time, I'm free to go do something else. It does not command any of my attention while it's working, whereas sitting and reading the man pages commands my attention absolutely.
•
> > some folks want to use lossless cut > In that case I would encourage you to ruminate on what the following in the post you're replying to means and what the implications are: You may have misunderstood the comment: "lossless cut" is the name of an ffmpeg GUI front end. They're not discussing which exact command line gives lossless results.
What's the reward for trivializing real issues and coming up with broken "solutions"? > It's very easy to type `apropos ffmpeg` No it's not. First, that's not a Windows command, so right off the bat you've cut off the largest OS. Second, your command is naively empty and it's telling that you've given it instead of an actual search query because you wouldn't be able to come up with a great one right away that would result in the correct result at the top - while the correct resuls is "hardcoded" in the field type in the UI. So yeah, go on, find that perfect query and then explain why you think every single user should be able to do the same quickly. Then you can think about how justified your other beliefs are about basic workflow issues you don't understand
•
> What's the reward for trivializing real issues and coming up with broken "solutions" Then any solutions is broken in this way. Even my bluetooth speaker comes with a manual. Not reading it and saying the speaker is broken, because you can't figure how to connect is pure delusion. Same as not reading ffmpeg manual and expecting to know how to use it. > First, that's not a Windows command, so right off the bat you've cut off the largest OS. ffmpeg on Window is so far the beaten path that it may as well be in Mordor. I would gladly bet that someone that knows how to run ffmpeg on windows also knows how to find the documentation for it. > So yeah, go on, find that perfect query Why would I find the perfect query? Do you go in the library and then find the correct line of the correct book in one go? Or do you consult the list of books of books for a theme, select a few candidates, consult their index, and then read the pages? Then all of that is left to do is to note down the reference if you need to consult the book again (no need to remember everything).
MP4 is container, not format, so if you have unsupported format packed into MP4 container it won’t be played. Example is trying to play AV1 video codec on devices with M2 chip or older. It won’t play. But it will play on devices with M3 chip and newer. Easiest solution is to use other player so that you can watch any MP4 file but with software decoding where hardware decoding is not available. Examples of such players are MPV or VLC.
•
Yes, VLC works fine for playing. The user wanted to edit some mp4 videos with iMovie (vs ffmpeg). I think it was an M4 Mac. Does iMovie need a codec pack? I know some PC OEMs don't ship an h.265 codec, pointing users to a $0.99 download. Thought Mac would include it, being promoted as for content creators.
LLMs are an amazing advance in natural language parsing. The problem is someone decided that and the contents of Wikipedia was all something needs to be intelligent haha
•
And reddit, that bastion of human achievement.
You and me are great examples of that. We are both extremely stupid and yet we can speak.
•
Can attest.
Because FFmpeg is a swiss army knife with a million blades and I don't think any easy interface is really going to do the job well. It's a great LLM use case.
•
I know everybody uses a subscription for these things, but doesn't it feel expensive to use an LLM like this? Like turning on the oven to heat up a single slice of pizza.
Verdichtung (alexeygy.github.io)
•
I live in Zurich-wollishofen and love it here. There are some areas of dense housing (Green City, Entlisberg, etc) but despite that there's a farm that's a 5-minute walk to get to, two other farms that are about 30 minutes, a fourth farm that's 45-minutes, and finally a fifth farm that's over an hour and includes a 400 meter climb up a ridge. We do much of our shopping at the farms. The lake and swimming is a 10-minute walk with many green areas, and I gather mushrooms on the uetliberg/Albis ridge that takes me about 25-minutes to get to on foot. Zurich has dense housing areas but its also well-integrated with nature and it's not just my neighborhood - there's lovely forests all around the city with streams and waterfalls, wild garlic and berries and mushrooms..
•
That sounds great, but that experience of the 15000 or so people in Wollishofen can't be provided for the half a million folks living in Zurich. That's the whole point of Verdichtung. That you get higher density in exchange for short distances. If everybody lived like Wollishofen does, then you'd have suburbia as far as the eye can see. In a sense, Wollishofen has the cake and gets to eat it too (because it's so close to the dense Zurich center but is itself only sparse). Which is nice for the small minority living there, but not a model that can really be applied everywhere.
•
Hong Kong (while obviously quite different) is similar in the sense that many urban areas are fairly compact and walkable, and regions of very high density housing alternate with parks, forests, playgrounds, zoological gardens, water front, etc., so that groceries, restaurants, public transport, but also recreational areas are never more than a few minutes away. Quite a contrast to suburban sprawl.
•
This is what is called "tiivistettävä" in Finnish. I live in such an area, with traditional wooden housing, in the city core. If some houses get in bad state, the city orders to throw them down and some low-rise apartment blocks are built on top of them, thus increasing the number of people that can be housed per square meter. It's a fine line between the noble intentions of the urban planning concept and creating a horrible mismatched pot-pourri of different building styles and ages, though. Ideally buildings in an area are somewhat congruent with each other. Urban sprawl is an issue here in part because of the abundance of water, land-locking expanding city centres.
 Top