GoKawiil - Latest Tech News & Aggregated Headlines

Implementing a functional language with graph reduction (2021)

news.ycombinator.com Unknown 2025-07-26 13:20:20

Implementing a Functional Language with Graph Reduction Posted on December 27, 2021 by Thomas Mahler Abstract Implementing a small functional language with a classic combinator based graph-reduction machine in Haskell. The implementation is structured into three parts: A λ-calculus parser from A Combinatory Compiler which was extended to cover a tiny functional language based on the untyped λ-calculus. A compiler from λ-calculus to combinatory logic combinators (S,K,I,B,C and Y) which i

Topics: expr graph readstref reduction var

Shop Amazon

Implementing a Functional Language with Graph Reduction

news.ycombinator.com Unknown 2025-07-26 23:20:20

Implementing a Functional Language with Graph Reduction Posted on December 27, 2021 by Thomas Mahler Abstract Implementing a small functional language with a classic combinator based graph-reduction machine in Haskell. The implementation is structured into three parts: A λ-calculus parser from A Combinatory Compiler which was extended to cover a tiny functional language based on the untyped λ-calculus. A compiler from λ-calculus to combinatory logic combinators (S,K,I,B,C and Y) which i

Topics: expr graph readstref reduction var

Shop Amazon

The best microSD cards for the Nintendo Switch 2

engadget.com Unknown 2025-07-30 10:00:37

Engadget has been testing and reviewing consumer tech since 2004. Our stories may include affiliate links; if you buy something through a link, we may earn a commission. Read more about how we evaluate products . If you're lucky enough to have a new Nintendo Switch 2 in hand right now, you're probably filling it up with old and new games alike. The console comes with 256GB of storage built in; that's eight times more than the original Switch and four times more than the Switch OLED. But the new

Topics: card cards express microsd switch

Shop Amazon

Apache HTTP Server: 'RewriteCond expr' always evaluates to true

news.ycombinator.com Unknown 2025-07-30 05:20:52

*) SECURITY: CVE-2025-54090 : Apache HTTP Server: 'RewriteCond expr' always evaluates to true in 2.4.64 (cve.mitre.org) A bug in Apache HTTP Server 2.4.64 results in all "RewriteCond expr ..." tests evaluating as "true". Users are recommended to upgrade to version 2.4.65, which fixes the issue. Reviewed By: covener, ylavic, gbechis, jorton git-svn-id: https://svn.apache.org/repos/asf/httpd/httpd/branches/2.4.x@1927361 13f79535-47bb-0310-9956-ffa450edef68

Topics: 64 apache cve expr org

Shop Amazon

CVE-2025-54090: Apache HTTP Server: 'RewriteCond expr' always evaluates to true

news.ycombinator.com Unknown 2025-07-30 10:20:52

*) SECURITY: CVE-2025-54090 : Apache HTTP Server: 'RewriteCond expr' always evaluates to true in 2.4.64 (cve.mitre.org) A bug in Apache HTTP Server 2.4.64 results in all "RewriteCond expr ..." tests evaluating as "true". Users are recommended to upgrade to version 2.4.65, which fixes the issue. Reviewed By: covener, ylavic, gbechis, jorton git-svn-id: https://svn.apache.org/repos/asf/httpd/httpd/branches/2.4.x@1927361 13f79535-47bb-0310-9956-ffa450edef68

Topics: 64 apache cve expr org

Shop Amazon

ExpressVPN patches Windows bug that exposed remote desktop traffic

engadget.com Unknown 2025-07-31 15:15:07

The vulnerability would have been hard to exploit, but might have leaked the real IP addresses of RDP users. ExpressVPN has released a new patch for its Windows app to close a vulnerability that can leave remote desktop traffic unprotected. If you use ExpressVPN on Windows, download version 12.101.0.45 as soon as possible, especially if you use Remote Desktop Protocol (RDP) or any other traffic through TCP port 3389. ExpressVPN announced both the vulnerability and the fix in a blog post earlie

Topics: 3389 expressvpn patch traffic vulnerability

Shop Amazon

ExpressVPN bug leaked user IPs in Remote Desktop sessions

bleepingcomputer.com Unknown 2025-08-05 11:06:08

ExpressVPN has fixed a flaw in its Windows client that caused Remote Desktop Protocol (RDP) traffic to bypass the virtual private network (VPN) tunnel, exposing the users' real IP addresses. One of the key premises of a VPN is masking a user's IP address, allowing users to stay anonymous online, and in some cases, bypass censorship. Failing to do so is a severe technical failure for a VPN product. ExpressVPN is a leading VPN service provider, consistently rated among the top VPN services, and

Topics: expressvpn rdp user users vpn

Shop Amazon

Modular Interpreters and Visitors in Rust with Extensible Variants and CGP

news.ycombinator.com Unknown 2025-08-06 04:16:51

Programming Extensible Data Types in Rust with CGP - Part 2: Modular Interpreters and Extensible Visitors Posted on 2025-07-09 Authored by Soares Chen Discuss on Reddit, GitHub or Discord. This is the second part of the blog series on Programming Extensible Data Types in Rust with CGP. You can read the first part here. As a recap, we have covered the new release of CGP v0.4.2 which now supports the use of extensible records and variants, allowing developers to write code that operates on an

Topics: code context mathexpr output type

Shop Amazon

Your favorite wallpaper app is prettier than ever thanks to its Material 3 Expressive update

androidauthority.com Unknown 2025-08-13 02:00:16

Rita El Khoury / Android Authority TL;DR Backdrops has been updated to version 6.0, integrating Google’s Material 3 Expressive design language. UI enhancements include improved carousel, better loading animations, refreshed progress indicators, rounded corners, new icons, and diverse color palette pairings. The facelift improves the visual experience for users who regularly search for wallpapers within the app. Material 3 Expressive is the flavor of the season. We’ve seen plenty of Google ap

Topics: android app design expressive material

Shop Amazon

Google One is getting easier on the eyes with these Expressive changes (APK teardown)

androidauthority.com Unknown 2025-08-14 07:36:12

Joe Maring / Android Authority TL;DR Google is currently in the middle of bringing its Material 3 Expressive design language to its Android apps. Earlier this year we got a preview of how this would impact Google One, looking at the app’s settings screen. We’re now able to see many more Expressive elements throughout the app, but these still aren’t publicly accessible. Halfway through July may not be official the midpoint of summer, but it sure feels like it. While some of us have been enjoy

Topics: android app authority expressive google

Shop Amazon

Google TV on Android begins its Material 3 Expressive revamp in latest update

androidauthority.com Unknown 2025-08-17 03:13:12

Edgar Cervantes / Android Authority TL;DR The latest Google TV app update brings some Material 3 Expressive design elements to users. The release introduces updates for the movie/TV show details page, including a larger banner, center-aligned header, updated buttons, and more. The update doesn’t include all the Material 3 Expressive changes we’ve seen in the past, which could roll out with a subsequent release. Google has started rolling out the Material 3 Expressive revamp for several of it

Topics: changes expressive google new tv

Shop Amazon

If You’re a Prime Member and Coffee Lover, the Breville Espresso Machine Is Selling for Peanuts on Prime Day

gizmodo.com Gizmodo Deals 2025-08-27 19:10:23

Prime Day is now the best time of year to score big savings on high-end brands, even eclipsing Black Friday prices. From Apple computers to Samsung phones to Breville coffee makers, Amazon is slashing prices on the most popular and newest models. The Breville Barista Express Espresso machine is one such example—Amazon has cut almost all its margin on this best seller, dropping it down to an all-time low price. You can now get the Barista Express for $549, down from its usual $749 which is a mas

Topics: amazon barista coffee express machine

Shop Amazon

Best VPN for Japan: Boost Your Privacy and Unblock Global Streaming Content

cnet.com See Full Bio 2025-08-28 20:00:00

Why we like it ExpressVPN is the best overall VPN by CNET and the best VPN for Japan. We like that Express demonstrates a steadfast commitment to privacy and transparency. It’s a safe choice for privacy-conscious VPN users and also a fantastic option for casual users because it’s extremely simple to use, fast and excellent for streaming. ExpressVPN has servers in Osaka, Shibuya, Yokohama and Tokyo locations. In addition to ExpressVPN’s excellent coverage in Japan, there are also servers in 18 d

Topics: expressvpn like speed streaming users

Shop Amazon

Google Messages could give profile pages a dash of Material 3 Expressive personality (APK teardown)

androidauthority.com Unknown 2025-08-31 05:29:02

Edgar Cervantes / Android Authority TL;DR In addition to other areas of the Google Messages app, Google is testing Material 3 Expressive design changes for the profile section. The profile section will soon feature updated buttons that change shape and include tap animations. Android 16 is here, but most of its Material 3 Expressive changes will be coming with the Android 16 QPR1 release later in the year. However, that doesn’t stop apps from updating themselves with Material 3 Expressive ele

Topics: android expressive google material profile

Shop Amazon

I Helped 4 Local Businesses Use Adobe Express' AI Features

cnet.com See Full Bio 2025-09-05 18:14:52

Over the past few years, I've found tremendous joy in helping local businesses here in Worcester, MA learn more about technology and AI. It's the same work I do in my full-time job as a content creator, but I love the in-person collaborative aspect. I started my business Feisworld Media first as a podcaster, then later I produced a documentary on Amazon Prime and then launched a YouTube channel in 2019. But it's still the in-person sharing that gets me excited about helping others. Since Adobe

Topics: adobe express generate image text

Shop Amazon

Google Keep’s Material 3 Expressive makeover is starting to roll out

androidauthority.com Unknown 2025-09-07 04:51:19

Edgar Cervantes / Android Authority TL;DR Google Keep’s Material 3 Expressive makeover has started rolling out to users. It brings visual changes for several UI elements, including the search bar, toolbar, and search filters. The redesign is not widely available at the moment, but it should reach more users in the coming days. Google is steadily updating its apps in line with Android’s new Material 3 Expressive design language, and Google Keep is the latest to receive an expressive makeover.

Topics: changes expressive google redesign search

Shop Amazon

Google Wallet gets a fresh coat of Material 3 Expressive with latest Play System update

androidauthority.com Unknown 2025-09-07 05:38:57

Edgar Cervantes / Android Authority TL;DR Google Wallet is getting a new design that adopts Google’s Material 3 Expressive aesthetic. The update is now rolling out widely, and Google has also made it official in its latest Play System update. With the update, Google Wallet has a more modern layout, with new icons, rounded rectangle containers, fresh buttons, and more. Google is officially rolling out a new Google Wallet experience with the latest Play System update (version 25.25). The redes

Topics: expressive google new update wallet

Shop Amazon

Gmail is getting even more Material 3 Expressive UI changes (APK teardown)

androidauthority.com Unknown 2025-09-08 20:30:05

Edgar Cervantes / Android Authority TL;DR An Android Authority teardown of the Gmail app has uncovered more visual changes. These changes include a redesigned search bar, no more Reply All button, and more tweaks. These tweaks are in line with Google’s Material 3 Expressive visual style, which will come to Android 16 later this year. Google is working hard to bring its Material 3 Expressive visual style to both Android 16 and its own apps. Gmail has already received some Expressive tweaks th

Topics: android expressive gmail new visual

Shop Amazon

NativeJIT: A C++ expression –> x64 JIT (2018)

news.ycombinator.com Unknown 2025-09-08 12:59:52

NativeJIT NativeJIT is an open-source cross-platform library for high-performance just-in-time compilation of expressions involving C data structures. The compiler is light weight and fast and it takes no dependencies beyond the standard C++ runtime. It runs on Linux, OSX, and Windows. The generated code is optimized with particular attention paid to register allocation. The compiler was developed by the Bing team for use in the Bing search engine. One important use is scoring documents contai

Topics: expression function install nativejit using

Shop Amazon

NativeJIT: A C++ expression –> x64 JIT

news.ycombinator.com Unknown 2025-09-09 08:59:52

NativeJIT NativeJIT is an open-source cross-platform library for high-performance just-in-time compilation of expressions involving C data structures. The compiler is light weight and fast and it takes no dependencies beyond the standard C++ runtime. It runs on Linux, OSX, and Windows. The generated code is optimized with particular attention paid to register allocation. The compiler was developed by the Bing team for use in the Bing search engine. One important use is scoring documents contai

Topics: expression function install nativejit using

Shop Amazon

Here’s where you can buy microSD Express cards for the Switch 2

theverge.com Cameron Faulkner 2025-09-09 22:46:12

is an editor covering deals and commerce. He joined in 2018, and served as commerce editor at Polygon until May 2025. The Nintendo Switch 2 is here, and so you might be in the market for a microSD card to store more games. While all microSD cards look the same, only microSD Express cards will work on the Switch 2 for storing and playing games. The card you used in your original Switch or Switch Lite will only offer very limited functionality if installed into Nintendo’s new handheld, letting yo

Topics: card cards express microsd switch

Shop Amazon

Finally, We’re Seeing More Ways to Quadruple Your Switch 2’s Paltry Storage

gizmodo.com Kyle Barr 2025-09-10 19:30:19

If you’re like me, your hungry Switch 2’s belly is already full up with a slate of launch games combined with your backlog of original Switch titles. When a growing number of games take up 60GB or more on your new handheld, you’ll want to look for extra storage options. Unfortunately, every option available right now costs close to half of what you already need to spend on Nintendo’s $450 handheld console. The Switch 2 only accepts microSD Express cards, not stock-standard microSD. Express-leve

Topics: card cards express microsd switch

Shop Amazon

ExpressVPN's external auditors confirm no-logs policy as of February

engadget.com Unknown 2025-09-12 15:19:57

"ExpressVPN never keeps data that could tie you to any online activity," the VPN provider claims on its website. An independent audit from late February supports those claims. Accounting firm KPMG found "reasonable assurance" that the VPN provider's system prevents the logging of user activity. The product is one of Engadget's top VPN picks. RAM-based VPN servers The firm's audit put ExpressVPN's TrustedServer system under a microscope. That's the company's RAM-based system. In theory, this ap

Topics: audit expressvpn kpmg ram vpn

Shop Amazon

Coccinelle for Rust progress report

news.ycombinator.com Coccinelle For Rust Progress Report 2025-09-14 05:20:23

In collaboration with Inria (the French Institute for Research in Computer Science and Automation), Tathagata Roy shares the progress made over the past year on the CoccinelleForRust project, co-sponsored by Collabora. Coccinelle is a tool for automatic program matching and transformation that was originally developed for making large-scale changes to the Linux kernel source code (i.e., C code). Matches and transformations are driven by user-specific transformation rules in the form of abstract

Topics: code ctl expression foo rust

Shop Amazon

Coccinelle for Rust Progress Report

news.ycombinator.com Coccinelle For Rust Progress Report 2025-09-14 10:20:23

In collaboration with Inria (the French Institute for Research in Computer Science and Automation), Tathagata Roy shares the progress made over the past year on the CoccinelleForRust project, co-sponsored by Collabora. Coccinelle is a tool for automatic program matching and transformation that was originally developed for making large-scale changes to the Linux kernel source code (i.e., C code). Matches and transformations are driven by user-specific transformation rules in the form of abstract

Topics: code ctl expression foo rust

Shop Amazon

Google Password Manager is getting a Material 3 Expressive glow up (APK teardown)

androidauthority.com Unknown 2025-09-17 15:40:13

Robert Triggs / Android Authority TL;DR Google Password Manager on Android is getting a Material 3 Expressive makeover. Passwords and passkeys can now be filtered. This change is not exclusive to Android 16. Material 3 Expressive was officially introduced during Google I/O last month. Since then, we’ve seen Android’s new design language gradually trickle down to various apps like Drive and Google Phone. Now the makeover is making its way to Password Manager on Android. Authority Insights st

Topics: android authority expressive manager password

Shop Amazon

ExpressVPN vs. Surfshark: Two of CNET’s Favorite VPNs Compared

cnet.com See Full Bio 2025-09-19 22:00:00

ExpressVPN and Surfshark are two heavyweights and sit comfortably among CNET’s top VPN picks thanks to their exceptional all-around performance and privacy protections. I use both ExpressVPN and Surfshark regularly and can tell you that each is excellent at what it does -- but also that each one does things very differently. That’s good, because there are distinctions between ExpressVPN and Surfshark that can make it easier to decide between the two based on your specific needs. In a perfect wor

Topics: expressvpn like privacy surfshark vpn

Shop Amazon

A different take on S-expressions

news.ycombinator.com Unknown 2025-09-23 06:25:57

[about document] Peculiar kind of S-expressions specification document [intended audience] beginners in programming table of contents 1. introduction S-expressions (Symbolic Expressions) are a fundamental concept in computer science and programming language theory. S-expressions are a simple, yet powerful notation for representing nested list data structures and code in a parenthesized form. They are commonly associated with the Lisp family of programming languages, where they serve both as

Topics: blocks expression line strings transposed

Shop Amazon

Gmail starts testing Material 3 Expressive redesign on Wear OS

androidauthority.com Unknown 2025-09-28 07:48:56

Kaitlyn Cimino / Android Authority TL;DR Google has started testing the Material 3 Expressive redesign for its Wear OS apps. The updated Gmail app for Wear OS has started rolling out to some users, bringing a few interface changes. After giving us an early look at the Material 3 Expressive design changes coming to Wear OS last month, Google has started updating its Wear OS apps with expressive design elements. We recently gave you an early look at the revamped Google Keep app for Wear OS. Now

Topics: app expressive google os wear

Shop Amazon

Here’s an early look at Google Keep’s Material 3 Expressive design on Wear OS

androidauthority.com Unknown 2025-09-29 07:13:38

Joe Maring / Android Authority TL;DR Google is prepping Material 3 Expressive design changes for the Wear OS version of Google Keep. We’ve spotted the changes in the latest build on the OnePlus Watch 2R running Wear OS 4. It includes redesigned buttons and note cards, a new animation, and an updated checklist interface. Like Android, Wear OS will receive several visual changes based on Google’s new Material 3 Expressive design language. We’ve already seen some of the system-level interface i

Topics: expressive google new os wear

Shop Amazon

Latest Tech News

Implementing a functional language with graph reduction (2021)

Implementing a Functional Language with Graph Reduction

The best microSD cards for the Nintendo Switch 2

Apache HTTP Server: 'RewriteCond expr' always evaluates to true

CVE-2025-54090: Apache HTTP Server: 'RewriteCond expr' always evaluates to true

ExpressVPN patches Windows bug that exposed remote desktop traffic

ExpressVPN bug leaked user IPs in Remote Desktop sessions

Modular Interpreters and Visitors in Rust with Extensible Variants and CGP

Your favorite wallpaper app is prettier than ever thanks to its Material 3 Expressive update

Google One is getting easier on the eyes with these Expressive changes (APK teardown)

Google TV on Android begins its Material 3 Expressive revamp in latest update

If You’re a Prime Member and Coffee Lover, the Breville Espresso Machine Is Selling for Peanuts on Prime Day

Best VPN for Japan: Boost Your Privacy and Unblock Global Streaming Content

Google Messages could give profile pages a dash of Material 3 Expressive personality (APK teardown)

I Helped 4 Local Businesses Use Adobe Express' AI Features

Google Keep’s Material 3 Expressive makeover is starting to roll out

Google Wallet gets a fresh coat of Material 3 Expressive with latest Play System update

Gmail is getting even more Material 3 Expressive UI changes (APK teardown)

NativeJIT: A C++ expression –> x64 JIT (2018)

NativeJIT: A C++ expression –> x64 JIT

Here’s where you can buy microSD Express cards for the Switch 2

Finally, We’re Seeing More Ways to Quadruple Your Switch 2’s Paltry Storage

ExpressVPN's external auditors confirm no-logs policy as of February

Coccinelle for Rust progress report

Coccinelle for Rust Progress Report

Google Password Manager is getting a Material 3 Expressive glow up (APK teardown)

ExpressVPN vs. Surfshark: Two of CNET’s Favorite VPNs Compared

A different take on S-expressions

Gmail starts testing Material 3 Expressive redesign on Wear OS

Here’s an early look at Google Keep’s Material 3 Expressive design on Wear OS

About GoKawiil

Privacy

Advertising

Latest Tech News

Trending Topics

Hot Now

Popular

Emerging

About GoKawiil

Privacy

Advertising