jods

791 posts

jods

jods

@jods16

Katılım Kasım 2013
37 Takip Edilen16 Takipçiler
jods
jods@jods16·
@motiondotdev Great work as always! The demos are initially janky (many dropped frames), even though I'm on a beefy desktop (Edge). After clicking multiple times they seem to be smooth but it's a bad first experience. Do you know why?
English
0
0
0
137
Motion
Motion@motiondotdev·
Introducing the View Transition API for the rest of us: animateView is now out of early access. Now with shared elements, intelligent aspect ratio handling, auto-grouping, stagger, enter/exit animations and interruption queueing, it's the best way to jump into view animations.
English
20
30
669
36.1K
jods
jods@jods16·
@msdev nothing but AI... Cloud topic? agents/AI Windows topic? agents/AI Any C# session? just two, about AI...
English
0
0
0
166
jods
jods@jods16·
@_chenglou I was reacting to your tweet that in the future we might just let LLM replace decisions that are like 12 if-else. I agree there are cases were non-optimal solutions are acceptable, or you can cope with errors. But "reliable" is also a highly desirable quality in many situations.
English
0
0
0
4
Cheng Lou
Cheng Lou@_chenglou·
Right, a few things: - the traces can be verified offline by a traditional solver, and used as accurate synthetic data. This data’s potentially very interesting because it’s different than what a solver or a human would do - it’s not _actually_ about sudoku lol. Most domains don’t need strict correctness requirement, just a good enough solution (and technically in CS theory, an optimization problem is at least as hard as a SAT problem) - if you truly care about using this training recipe for sudoku then you can do what they do for sorting, which is quicksort + detect pathological behavior and switch to heap sort for guaranteed runtime characteristics. In our context it’d be do a fast pass with a neural solver then fall back to a traditional one
English
1
0
0
45
Cheng Lou
Cheng Lou@_chenglou·
I’m very happy to present my toy research project: Sotaku! It's a neural net that automatically discovered the rules of sudoku and learned to solve them, achieving a new state-of-the-art score of 98.9% on one of the hardest sudoku datasets, while being agnostic to the game, and beating all other sudoku-optimized neural net architectures* Read more for fun motivations, plus some extremely unconventional discoveries, e.g. reverse curriculum consistently beating curriculum (!), emergent reasoning-like capabilities, and the future of traditional programming
Cheng Lou tweet media
English
37
133
1.9K
236.8K
jods
jods@jods16·
@_chenglou Nice work! The issue with this future vision is the low reliability: your solver fails 1 out of 100 times. It's impressive but it's also a very high failure rate. That sounds like a reason to use SAT solvers instead. Do you envision a future where AI is more reliable?
English
1
0
0
41
Cheng Lou
Cheng Lou@_chenglou·
I believe in a future where we (or LLMs) gradually replace much of our traditional app code with tiny neural nets that search through our ideas space, guided by our examples, and trained simply as a part of our compilation pipeline I hope for a crossover point where if-else heuristics with more than a dozen cases are recast as a neural search problem. We’ll still let LLM write the code! But instead of massive if-elses, it’d just be a tiny training script for a just-in-time neural net
English
4
7
75
6.5K
Mads Kristensen
Mads Kristensen@madskristensen·
Syntactic line compression gives you more vertical space in the editor. Lines without letters or numbers compress by 25%, letting you see more code at once without hurting readability. Coming soon to Visual Studio...
Mads Kristensen tweet media
English
31
17
397
16.9K
jods
jods@jods16·
@madskristensen looks like all the goodies are about AI, so sad.
English
0
0
0
11
Mads Kristensen
Mads Kristensen@madskristensen·
Time to install the August update to Visual Studio. Here are some of the goodies
Mads Kristensen tweet media
English
14
12
93
8.1K
jods
jods@jods16·
@Corca_math looks great, any plan to open-source the equation editor component so that it can be integrated in other products, such as note-taking, wiki or rich text editors?
English
0
0
0
362
Corca
Corca@Corca_math·
When we started Corca, we wanted to build a math editor where you could type faster than handwriting on paper. We failed! You can only type at the same speed as writing on paper
English
26
31
787
123.9K
jods
jods@jods16·
@OracleDOTNET Just ship it through Nuget only (which is where most people would get it anyway), problem solved?
English
0
0
0
8
Oracle .NET Team ⭕
Oracle .NET Team ⭕@OracleDOTNET·
@jods16 ODP.​NET is shipped with Oracle DB, which is closed source and commercially licensed. Allowing third-party contributions whose provenance cannot be vetted is problematic for closed source and commercial licenses.
English
1
0
0
21
jods
jods@jods16·
@OracleDOTNET Docs (Data Provider for .NET Core Configuration) say "it uses .NET Configuration API in lieu of a config. file" but does it? I can't find any api taking IConfiguration. Closest is package Ora.MDA.ConfigFile but it parses a specific JSON file.
English
1
0
0
17
jods
jods@jods16·
@OracleDOTNET BTW, why don't you open-source the ODP.NET Core provider? The community could help with PRs.
English
1
0
0
8
Oracle .NET Team ⭕
Oracle .NET Team ⭕@OracleDOTNET·
@jods16 The .NET Configuration API is not IConfiguration. It's an ODP specific class OracleConfiguration.
English
2
0
0
18
jods
jods@jods16·
@OracleDOTNET This would actually be trivial if the class wasn't static as .NET configuration has `Bind()` extension methods but they only work with instances.
English
1
0
0
8
jods
jods@jods16·
@OracleDOTNET I noticed. I would say the sentence "it uses .NET Configuration API" is rather misleading then? docs.oracle.com/en/database/or… To be a good .NET library, it would be nice to have some `IConfiguration` support out of the box, e.g. `OracleConfiguration.Configure(IConfiguration)`.
English
1
0
0
13
jods
jods@jods16·
@SamsungHelpUK Odyssey G7 screen here, really nice HW but CoreSync feature is not working :( When set to rainbow lights work ok (nice bright colors) but CoreSync is dim and mostly white. Doesn't match the screen at all. Found lots of people posting this online but no solution?
English
1
0
0
27
jods
jods@jods16·
@mattgperry @hp0844182 They don't show, and they're broken! If you slow down web animations in the dev tools, the dialog box never appears in this example. It's a very slick example nonetheless. Besides the slight button color flicker, the demo is really nice and smooth :)
English
0
0
0
33
Matt Perry
Matt Perry@mattgperry·
Now available for vanilla JS using View Transition API via Motion's animateView(), and for Vue using Motion's layout animations (thanks to @hp0844182) The View Transition version feels less responsive but avoids the little brightness dip as the two elements crossfade.
Matt Perry@mattgperry

🚀 Kicking off a new "Inspired by" section in Motion Examples with this @family-style dialog. In this new section I challenge myself to recreate some of the hottest animations across web and mobile with Motion. @ me with some that you'd love to see!

English
3
1
74
4.9K
jods
jods@jods16·
@mattgperry @hp0844182 But I'll make a wild guess anyway: I'd guess it's because `#modal-open` dialog has animated opacity and is parent of the new button. Opacity on both the button and its parent dialog probably doesn't compose exactly right.
English
0
0
0
35
Matt Perry
Matt Perry@mattgperry·
@jods16 @hp0844182 I think it works with View Transitions because the two crossfading elements are always together within an isolated layer
English
2
0
0
60
jods
jods@jods16·
@davidfowl Speaking of "modernizing", any clue why MS picked XmlElement to work with .slnx rather than XElement? Honestly just being curious here.
English
1
0
1
107