The DaB - Daily Briefing

November 26, 2025, 01:15 AM


πŸ“Š 39 articles collected from multiple sources
πŸ”„ Generated at 2025-11-26 01:15:00

πŸ”„ Sort Articles:

⏱️ Execution Details:

Duration: 130.1 seconds
Start Time: 2025-11-26 01:15:00
End Time: 2025-11-26 01:17:10

πŸ“‘ Data Collection:

Articles Collected: 39
Sources Configured: 4
Source Breakdown: RSS: 24, Hacker News: 6, arXiv: 4, Reddit: 5

πŸ€– AI Processing:

AI Summaries: 39
Tweet Sets: 39

πŸ“Š Analytics:

Engagement Scores: 39
Distribution: Notable: 6, Standard: 19, Low: 14
Topics Detected: 5
Cross-platform Stories: 2

[01]
πŸ’» Europe is scaling back GDPR and relaxing AI laws
Source: Hacker News | Published: 2025-11-19 14:41 | ID: 296f6528e342 | | Topics: πŸ€– Ai Ml, πŸ”’ Security
πŸ€– AI Summary:
Hacker News discussion with 974 points and 1160 comments. Posted 2025-11-19 14:41.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Europe is scaling back GDPR and relaxing AI laws... https://www.theverge.com/news/823750/european-union-ai-act-gdpr-changes
[02]
πŸ’» Pebble Watch software is now open source
Source: Hacker News | Published: 2025-11-24 18:52 | ID: 4d1ea5e97951 | | Topics: πŸ”’ Security
πŸ€– AI Summary:
Hacker News discussion with 1210 points and 216 comments. Posted 2025-11-24 18:52.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Pebble Watch software is now open source... https://ericmigi.com/blog/pebble-watch-software-is-now-100percent-open-source
[03]
πŸ’» Fran Sans – font inspired by San Francisco light rail displays
Source: Hacker News | Published: 2025-11-23 18:20 | ID: 6495ca6345bd | | Topics: πŸ€– Ai Ml, πŸ”’ Security
πŸ€– AI Summary:
Hacker News discussion with 1151 points and 139 comments. Posted 2025-11-23 18:20.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Fran Sans – font inspired by San Francisco light rail displays... https://emilysneddon.com/fran-sans-essay
[04]
πŸ’» Shai-Hulud Returns: Over 300 NPM Packages Infected
Source: Hacker News | Published: 2025-11-24 10:40 | ID: 3e10fb46d6a1 | | Topics: πŸ€– Ai Ml, πŸ”’ Security
πŸ€– AI Summary:
Hacker News discussion with 986 points and 755 comments. Posted 2025-11-24 10:40.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Shai-Hulud Returns: Over 300 NPM Packages Infected... https://helixguard.ai/blog/malicious-sha1hulud-2025-11-24
[05]
πŸ’» Nano Banana Pro
Source: Hacker News | Published: 2025-11-20 15:04 | ID: 23b418cddab4 | | Topics: πŸ”’ Security
πŸ€– AI Summary:
Hacker News discussion with 1272 points and 684 comments. Posted 2025-11-20 15:04.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Nano Banana Pro... https://blog.google/technology/ai/nano-banana-pro/
[06]
πŸ’» Claude Opus 4.5
Source: Hacker News | Published: 2025-11-24 18:53 | ID: 75e0bf596b9c | | Topics: πŸ”’ Security
πŸ€– AI Summary:
Hacker News discussion with 1078 points and 495 comments. Posted 2025-11-24 18:53.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Claude Opus 4.5... https://www.anthropic.com/news/claude-opus-4-5
[07]
πŸ“° Why β€˜hold forever’ investors are snapping up venture capital β€˜zombies’
Source: TechCrunch | Published: Tue, 25 Nov 2025 22:52:22 +0000 | ID: 936324e2e129 | | Topics: πŸ€– Ai Ml, πŸ‘©β€πŸ’» Programming
πŸ€– AI Summary:
An investor explains the "buy, fix, and hold" model employed by Bending Spoons and similar companies that buy distressed startups.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Why β€˜hold forever’ investors are snapping up venture capital β€˜zombies’... https://techcrunch.com/2025/11/25/why-hold-forever-investors-are-snapping-up-venture-capital-zombies/
[08]
πŸ“° Warner Music signs deal with AI music startup Suno, settles lawsuit
Source: TechCrunch | Published: Tue, 25 Nov 2025 19:57:31 +0000 | ID: 0b02e77bab47 | | Topics: πŸ€– Ai Ml, ☁️ Cloud
πŸ€– AI Summary:
WMG says artists and songwriters will have full control over whether and how their names, images, likenesses, voices, and compositions are used in new AI-generated music.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Warner Music signs deal with AI music startup Suno, settles lawsuit... https://techcrunch.com/2025/11/25/warner-music-signs-deal-with-ai-music-startup-suno-settles-lawsuit/
[09]
πŸ“° OpenAI and Perplexity are launching AI shopping assistants, but competing startups aren’t sweating it
Source: TechCrunch | Published: Tue, 25 Nov 2025 19:35:06 +0000 | ID: 4fba45af9142 | | Topics: πŸ€– Ai Ml, 🏒 Big Tech
πŸ€– AI Summary:
Startup founders building AI shopping tools think general-purpose models are too broad to deliver truly personalized shopping experiences.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: OpenAI and Perplexity are launching AI shopping assistants, but competing startups aren’t sweating it... https://techcrunch.com/2025/11/25/openai-and-perplexity-are-launching-ai-shopping-assistants-but-competing-startups-arent-sweating-it/
[10]
πŸ“° Character AI will offer interactive β€˜Stories’ to kids instead of open-ended chat
Source: TechCrunch | Published: Tue, 25 Nov 2025 21:22:04 +0000 | ID: 6e44c4134417 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
The company announced last month that it would no longer allow minors to use its chat features.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Character AI will offer interactive β€˜Stories’ to kids instead of open-ended chat... https://techcrunch.com/2025/11/25/character-ai-will-offer-interactive-stories-to-kids-instead-of-open-ended-chat/
[11]
πŸ“° ChatGPT’s voice mode is no longer a separate interface
Source: TechCrunch | Published: Tue, 25 Nov 2025 20:04:52 +0000 | ID: 133546e776b1 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
ChatGPT now lets you use voice and text in the same screen, making conversations feel more natural as responses and visuals appear in real time.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: ChatGPT’s voice mode is no longer a separate interface... https://techcrunch.com/2025/11/25/chatgpts-voice-mode-is-no-longer-a-separate-interface/
[12]
πŸ“° Microsoft’s AI chatbot Copilot leaves WhatsApp on January 15
Source: TechCrunch | Published: Tue, 25 Nov 2025 17:11:55 +0000 | ID: 4ae7ff5f9acf | | Topics: πŸ€– Ai Ml, 🏒 Big Tech
πŸ€– AI Summary:
WhatsApp's new platform policies ban general-purpose AI chatbots like Copilot from using its service.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Microsoft’s AI chatbot Copilot leaves WhatsApp on January 15... https://techcrunch.com/2025/11/25/microsofts-ai-chatbot-copilot-leaves-whatsapp-on-january-15/
[13]
πŸ“° YouTube is working on a feature that will fix the messy home feed
Source: TechCrunch | Published: Tue, 25 Nov 2025 22:31:48 +0000 | ID: 7a26d1527dce |
πŸ€– AI Summary:
YouTube is experimenting with a new feature that allows users to customize their home feed.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: YouTube is working on a feature that will fix the messy home feed... https://techcrunch.com/2025/11/25/youtube-is-working-on-a-feature-that-will-fix-the-messy-home-feed/
[14]
πŸ“° Find Your Grind raises $5M to grow platform empowering students to explore unique career paths
Source: TechCrunch | Published: Tue, 25 Nov 2025 18:49:20 +0000 | ID: 784b5a17e201 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
Nick Gross says that Find Your Grind gives students the tools to explore what careers are out there and what paths suit their strengths, interests, and visions for what they want their futures to look...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Find Your Grind raises $5M to grow platform empowering students to explore unique career paths... https://techcrunch.com/2025/11/25/find-your-grind-raises-5m-to-grow-platform-empowering-students-to-explore-unique-career-paths/
[15]
πŸ“° Landlords’ go-to tool to set rent prices to be gutted under RealPage settlement
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 17:51:42 +0000 | ID: ab89582e4e30 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
RealPage agrees to settle suit over DOJ claims software raised rents across the US.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Landlords’ go-to tool to set rent prices to be gutted under RealPage settlement... https://arstechnica.com/tech-policy/2025/11/realpage-agrees-to-change-algorithm-so-landlords-cant-collude-on-price-hikes/
[16]
πŸ“š Breaking the Likelihood-Quality Trade-off in Diffusion Models by Merging Pretrained Experts
Source: arXiv | Published: 2025-11-24 | ID: b5ed3ddc2490 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
Research paper by Yasin Esfandiari, Stefan Bauer, Sebastian U. Stich et al.. Diffusion models for image generation often exhibit a trade-off between perceptual sample quality and data likelihood: trai...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Breaking the Likelihood-Quality Trade-off in Diffusion Models by Merging Pretrained Experts... http://arxiv.org/abs/2511.19434v1
[17]
πŸ“° David Sacks tried to kill state AI laws β€” and it blew up in his face
Source: The Verge | Published: 2025-11-25T16:06:08-05:00 | ID: 3a67f72becde | | Topics: πŸ€– Ai Ml, ☁️ Cloud
πŸ€– AI Summary:
On Wednesday, a rumor began popping up in Washington about a momentous policy change: the White House, it was said, would issue an executive order on Friday that would finally preempt state AI laws, h...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: David Sacks tried to kill state AI laws β€” and it blew up in his face... https://www.theverge.com/ai-artificial-intelligence/829179/david-sacks-ai-executive-order
[18]
πŸ“° Plex’s crackdown on free remote streaming access starts this week
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 21:22:17 +0000 | ID: f727a94088e1 |
πŸ€– AI Summary:
Roku users will be hit first.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Plex’s crackdown on free remote streaming access starts this week... https://arstechnica.com/gadgets/2025/11/plexs-crackdown-on-free-remote-streaming-access-starts-this-week/
[19]
πŸ“° Campbell’s promises its soups are not made with 3D printed meat
Source: The Verge | Published: 2025-11-25T18:27:57-05:00 | ID: a77f29a1e32c | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
Campbell’s is insisting that its soups aren’t made with 3D-printed chicken, lab-grown chicken, or bioengineered meat. The food giant issued the explanation on its website after leaked audio allegedly ...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Campbell’s promises its soups are not made with 3D printed meat... https://www.theverge.com/news/829516/campbells-3d-printed-chicken-soup
[20]
πŸ“° Perplexity says its AI personal shopper β€˜puts you first’
Source: The Verge | Published: 2025-11-25T14:26:11-05:00 | ID: ea7ee4a50645 | | Topics: πŸ€– Ai Ml, 🏒 Big Tech
πŸ€– AI Summary:
Perplexity is ramping up its AI shopping experience going into the holiday season, just like OpenAI and Google, with a free AI-powered shopping feature that is available now to US users. Its AI assist...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Perplexity says its AI personal shopper β€˜puts you first’... https://www.theverge.com/ai-artificial-intelligence/829019/perplexity-ai-personal-shopper-paypal
[21]
πŸ“š VDC-Agent: When Video Detailed Captioners Evolve Themselves via Agentic Self-Reflection
Source: arXiv | Published: 2025-11-24 | ID: af5423303b70 | | Topics: πŸ€– Ai Ml, πŸ‘©β€πŸ’» Programming
πŸ€– AI Summary:
Research paper by Qiang Wang, Xinyuan Gao, SongLin Dong et al.. We present VDC-Agent, a self-evolving framework for Video Detailed Captioning that requires neither human annotations nor larger teacher...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: VDC-Agent: When Video Detailed Captioners Evolve Themselves via Agentic Self-Reflection... http://arxiv.org/abs/2511.19436v1
[22]
πŸ“š Are Image-to-Video Models Good Zero-Shot Image Editors?
Source: arXiv | Published: 2025-11-24 | ID: b46058ec7e04 | | Topics: πŸ€– Ai Ml, πŸ‘©β€πŸ’» Programming
πŸ€– AI Summary:
Research paper by Zechuan Zhang, Zhenyuan Chen, Zongxin Yang et al.. Large-scale video diffusion models show strong world simulation and temporal reasoning abilities, but their use as zero-shot image ...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Are Image-to-Video Models Good Zero-Shot Image Editors?... http://arxiv.org/abs/2511.19435v1
[23]
πŸ“° There may not be a safe off-ramp for some taking GLP-1 drugs, study suggests
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 22:44:35 +0000 | ID: 649212384037 |
πŸ€– AI Summary:
In trial, 82% saw weight rebound and cardiovascular health reverse after withdrawal.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: There may not be a safe off-ramp for some taking GLP-1 drugs, study suggests... https://arstechnica.com/health/2025/11/glp-1-drugs-improve-heart-health-but-only-if-you-keep-taking-them/
[24]
πŸ“° GPU prices are coming to earth just as RAM costs shoot into the stratosphere
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 20:15:37 +0000 | ID: daa4518517f4 | | Topics: πŸ”§ Hardware
πŸ€– AI Summary:
Some RAM kits are over three times as expensive as they were three months ago.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: GPU prices are coming to earth just as RAM costs shoot into the stratosphere... https://arstechnica.com/gadgets/2025/11/spiking-memory-prices-mean-that-it-is-once-again-a-horrible-time-to-build-a-pc/
[25]
πŸ“š LumiTex: Towards High-Fidelity PBR Texture Generation with Illumination Context
Source: arXiv | Published: 2025-11-24 | ID: 9fd4f978b3c2 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
Research paper by Jingzhi Bao, Hongze Chen, Lingting Zhu et al.. Physically-based rendering (PBR) provides a principled standard for realistic material-lighting interactions in computer graphics. Desp...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: LumiTex: Towards High-Fidelity PBR Texture Generation with Illumination Context... http://arxiv.org/abs/2511.19437v1
[26]
πŸ“° House overhauls KOSA in a new kids online safety package
Source: The Verge | Published: 2025-11-25T18:05:55-05:00 | ID: 6a246e551936 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
The House Energy and Commerce Committee released a package of 19 bills aimed at protecting kids on the internet, teeing Congress up for a chance at passing some of the most substantive internet regula...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: House overhauls KOSA in a new kids online safety package... https://www.theverge.com/news/829492/house-energy-commerce-kids-online-safety-package
[27]
πŸ“° Warner Music Group partners with Suno to offer AI likenesses of its artists
Source: The Verge | Published: 2025-11-25T15:47:02-05:00 | ID: f839c926d58d | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
Warner Music Group has struck a licensing deal with the AI music creation platform Suno. Under the agreement, WMG will allow users to create AI-generated music on Suno using the voices, names, likenes...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Warner Music Group partners with Suno to offer AI likenesses of its artists... https://www.theverge.com/news/829189/warner-music-group-suno-ai-licensing-deal
[28]
πŸ“° You can grab two months of Paramount Plus with Showtime for $2.99 a month
Source: The Verge | Published: 2025-11-25T15:03:31-05:00 | ID: 4da84fa58efe | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
In case you missed it, Paramount Plus is raising prices by $1 a month starting on January 15th, 2026, taking the ad-supported Essential plan from $7.99 to $8.99 and the ad-free Premium plan from $12.9...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: You can grab two months of Paramount Plus with Showtime for $2.99 a month... https://www.theverge.com/gadgets/827612/paramount-plus-black-friday-deal-sale-2025
[29]
πŸ“° Valve’s Steam Machine looks like a console, but don’t expect it to be priced like one
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 16:51:40 +0000 | ID: c88007c57f22 |
πŸ€– AI Summary:
Upcoming gaming box will be priced in line with a similarly specced PC, Valve says.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Valve’s Steam Machine looks like a console, but don’t expect it to be priced like one... https://arstechnica.com/gaming/2025/11/valves-steam-machine-looks-like-a-console-but-dont-expect-it-to-be-priced-like-one/
[30]
πŸ“° Wyze’s new security camera watches your yard from inside your home
Source: The Verge | Published: 2025-11-25T13:36:31-05:00 | ID: f91a86420187 | | Topics: πŸ”’ Security
πŸ€– AI Summary:
Wyze has announced an unorthodox approach to outdoor security cameras with its new Window Cam that monitors your yard and property from inside your home. This Rear Window approach to security means th...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Wyze’s new security camera watches your yard from inside your home... https://www.theverge.com/news/829005/wyze-window-security-cam-hd-enhanced-night-vision
[31]
πŸ“° China launches an emergency lifeboat to bring three astronauts back to Earth
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 18:37:19 +0000 | ID: de4c45bb8588 |
πŸ€– AI Summary:
This is a "successful example for efficient emergency response in the international space industry."
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: China launches an emergency lifeboat to bring three astronauts back to Earth... https://arstechnica.com/space/2025/11/china-launches-an-emergency-lifeboat-to-bring-three-astronauts-back-to-earth/
[32]
πŸ“° Formation of oceans within icy moons could cause the waters to boil
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 12:15:19 +0000 | ID: 3816172e03ac |
πŸ€– AI Summary:
A rigid ice shell over a shrinking interior makes for pressures low enough to boil.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Formation of oceans within icy moons could cause the waters to boil... https://arstechnica.com/science/2025/11/formation-of-oceans-within-icy-moons-could-cause-the-waters-to-boil/
[33]
πŸ“° Mushroom foragers collect 160 species for food, medicine, art, andΒ science
Source: Ars Technica - All content | Published: Tue, 25 Nov 2025 12:00:50 +0000 | ID: a2c26f6512ef |
πŸ€– AI Summary:
Researchers seek to understand the various uses of wild mushroom species.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Mushroom foragers collect 160 species for food, medicine, art, andΒ science... https://arstechnica.com/science/2025/11/mushroom-foragers-collect-160-species-for-food-medicine-art-and-science/
[34]
πŸ“° These are my favorite Switch 2 accessories
Source: The Verge | Published: 2025-11-25T14:30:00-05:00 | ID: 2f5585746e21 |
πŸ€– AI Summary:
The Switch 2 can be enjoyed right out of the box, but it’s even better with the right accessories. Some of these add-ons are more crucial than others, especially if you’re deciding what to buy early o...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: These are my favorite Switch 2 accessories... https://www.theverge.com/buying-guides/720160/best-switch-2-accessories
[35]
πŸ—¨οΈ Large language mistake | Cutting-edge research shows language is not the same as intelligence. The entire AI bubble is built on ignoring it
Source: Reddit (r/technology) | Published: 2025-11-25 15:33 | ID: 4f0e0a71cacd | | Topics: πŸ€– Ai Ml, πŸ”§ Hardware
πŸ€– AI Summary:
Reddit discussion in r/technology with 13813 upvotes and 1330 comments.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Large language mistake | Cutting-edge research shows language is not the same as intelligence. The entire AI bubble is built on ignoring it... https://www.theverge.com/ai-artificial-intelligence/827820/large-language-models-ai-intelligence-neuroscience-problems
[36]
πŸ—¨οΈ [P] I made a free playground for comparing 10+ OCR models side-by-side
Source: Reddit (r/MachineLearning) | Published: 2025-11-25 15:43 | ID: 46c9a8bd5276 | | Topics: πŸ€– Ai Ml
πŸ€– AI Summary:
It's called OCR Arena, you can try it here: https://ocrarena.ai There's so many new OCR models coming out all the time, but testing them is really painful. I wanted to give the community an easy way t...
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: [P] I made a free playground for comparing 10+ OCR models side-by-side... https://reddit.com/r/MachineLearning/comments/1p6frc2/p_i_made_a_free_playground_for_comparing_10_ocr/
[37]
πŸ—¨οΈ Whistleblower Warns of Possible DOGE-Related Social Security Data Leak
Source: Reddit (r/technology) | Published: 2025-11-25 16:37 | ID: 1a8fee21991e | | Topics: πŸ”’ Security
πŸ€– AI Summary:
Reddit discussion in r/technology with 9424 upvotes and 273 comments.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Whistleblower Warns of Possible DOGE-Related Social Security Data Leak... https://whistleblowersblog.org/government-whistleblowers/whistleblower-warns-of-possible-doge-related-social-security-data-leak/
[38]
πŸ—¨οΈ What Actually Makes You Senior
Source: Reddit (r/programming) | Published: 2025-11-25 17:33 | ID: a79d709084fd | | Topics: πŸ‘©β€πŸ’» Programming
πŸ€– AI Summary:
Reddit discussion in r/programming with 221 upvotes and 97 comments.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: What Actually Makes You Senior... https://terriblesoftware.org/2025/11/25/what-actually-makes-you-senior/
[39]
πŸ—¨οΈ Announcing Unison 1.0
Source: Reddit (r/programming) | Published: 2025-11-25 20:56 | ID: 81082177b8a9 | | Topics: πŸ‘©β€πŸ’» Programming
πŸ€– AI Summary:
Reddit discussion in r/programming with 82 upvotes and 32 comments.
πŸ“± Show Tweet Suggestions (1)
Check out this tech news: Announcing Unison 1.0... https://www.unison-lang.org/unison-1-0/