Hacker Newsnew | past | comments | ask | show | jobs | submit | css_apologist's commentslogin

very cool! does this work? can you describe the kinds of real bugs you've caught with this?

I'd say it does! Bombadil is very new but its predecessor has found complicated and very real bugs in my work projects, and in the paper we wrote about it, we found bugs in more than half of the TodoMVC example apps: https://arxiv.org/abs/2203.11532

I got a few ideas which will probably never get done at this point

1 - actual css static analysis -- consume html + css, and provide tooling to preview what properties are inherited given the context you're in -- what you're overwriting, what display mode you're in. If there's inconsistent display modes depending on where in the html you are.

2 - a reactive html scripting language which using html as the source of truth, and synchronizes html elements through their relationships to each other

i only have prototypes, and unfortunately given the climate i feel i am the only person who wants these tools.. but every few weeks i get to sit down and get some progress and that's nice


why?


I just do a lot of remote work and I rely on my phone which drains its battery and I’d love if I could just open my laptop and work


A 10 or 20 gram usb-c cable will literally solve this problem forever for $2.99


Battery problem solved

Anker 747 Power Bank (PowerCore... https://www.amazon.com/dp/B089D4176K?ref=ppx_pop_mob_ap_shar...


I have to work for 3 hours in a place with no wifi and no power outlet twice weekly. I physically connect my iphone to the MBA and it works great. The phone stays charged 100% and the laptop drains maybe 20% battery in 3 hours.


Buy one of those data hotspots? Then you don’t drain your phone or your laptop; plus can connect your laptop and phone to it.


To everybody trying to justify apple not offering a wwan option.

On Thinkpad you can add the module later. It's a simple upgrade, open up the laptop and plug in the wwan module. The Thinkpad already comes with a sim tray. Though today presumably you would use an esim.

But hey you can pick a color for your macbook, so that's something.

Extra rant: the hardware quality of modern MacBook is fantastic. The keyboard sucks. The reflective screen sucks. The number of ports is ridiculously small. Soldered ssd and ram etc etc. Fantastic battery life. My thinkpad is a turd in comparison. But at least it doesn't bend when dropped. MacOS is horrible, Linux is the only thing I want. Sleep on modern PC is broken by design. A MacBook sleeping loses 1% of battery per day. A thinkpad loses 100%. Why can't we have nice things god dammit.


looks like never


:(


This is an incredible piece of hardware, I just don't know what to do with it

how is music production on it these days?


GarageBand is fun, and capable of making surprisingly complex music. Logic Pro is also available on iPad now, but it's only available with a $15/month subscription, so I haven't tried it.

For artists, there are a lot of good tools: Procreate, Art Set 4, Adobe Fresco, Artrage, etc.


I really like this setup:

iPad + Korg microKEY-37 + KORG Gadget 3 + all a bunch of KORG apps

No subscriptions. Keyboard is wireless but no noticeable latency. In my workflow I pretty much never need more keys but if I do I just use a MIDI adapter and plug a larger keyboard.

KORG apps go on 50% sale several times every year.


It runs PlugData, the plugin version of Pure Data! You can easily bring down the best iPad processor with the circuit~ object. ;)


i've been meaning to checkout pure data, this is cool thanks for sharing


Still subpar, only real DAW available is Logic Pro, the audio stack behaves differently than macOS, no support for VSTs but has support for the AU format.

A friend who I make music together had an iPad that we tried to add to the setup, in the end after some months we chucked it aside and just got a MacBook for our shared studio instead.


I agree you won’t find a DAW as powerful, but some of the purpose built DAWs are so much fun. Loopy Pro you can build whatever interface you want via widgets.

And while VSTs don’t run, the AUv3s on the App Store tend to be much cheaper.

If for nothing else, I think it’s an excellent replacement for a guitar effects processor like Helix. Plus everything is backed up / restorable and you don’t have to suffer with a knob-based interface


> no support for VSTs

yup, that kills it for me


Drawing on it is incredible, reading papers work well also but a folding phone is better.


I had the same problem with my M4 Pro. So I sold it.


I felt this way until about a year or 2 ago, google has gotten so bad DDG is not worse for my uses

I don't dig in reddit frequently so that specific issue is not one for me


This seems like a really great use of LLMs

Especially with local models, I would use this!


The tool now supports local models. In particular, you can pass an alternative base URL for both embeddings and completions so if you can serve a local model over an OpenAI-compatible API (e.g. using LM Studio) then you can point the tool to that.


cost, and we can create policy (shocker)

also what specifically are you worried about these 100 billion chatgpts doing?


The comment I was responding to said that protocols would solve the problems with AI. I immediately imagined telling my $10/month unlimited AI to hook itself up to whatever protocol is being discussed here.

They mentioned identity being important here. I'm not sure what that means in this context (some kind of cryptographic verification, maybe?), but the part that seems relevant to me has to do with trust. Either a person is trusted by people I trust, or at least an organization I trust makes some claim about this person (e.g. they're actually human, this is actually their real name etc.)

I think we'll be seeing something like that in the mainstream in the not too distant future, for obvious reasons.


Cost is irrelevant if they get more out of doing it than the processing costs.


Do they get more out of it than it costs, or are they still in the "people are just giving us money in the hopes that one day it turns a profit even though we're not charging nearly enough to make a profit" phase?


You're describing the AI companies and their business model.

I'm answering to that cost being a problem regarding "what prevents 100 Billion ChatGPTs from using any protocol?" - the context I have in mind for the above being scammers, political manipulators, spam, and people like that using ChatGPT/LLMs to take advantage of various protocols for profit (and the 100 billion figure being a figure of speech meaning "very many").


This is an idea that is not ON or OFF

You can get ever so gradually stricter with your types which means that the operations you perform on on a narrow type is even more solid

It is also 100% possible to do in dynamic languages, it's a cultural thing


Will this make OpenAI profitable?

What's the expected revenue from this?


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: